A Universal Data Type Checker