Definitions for the type system.