Object-level types