Simple representations of types (no contracts yet)