4.3. Type Definitions