Definition should include the concept that data types know two things about themselves:  the type of information that a variable can hold, and how large it can get.  This enforces business rules by constraining data in a way that completes effort checking before it gets to a higher level of checking. Description of data types should center around the types most often used, such as