Types
NormalTypeConstructor
Default constructor for Normal types. Normal types are user-defined and some of the built-in types.