El programa de usuario podía definir nuevos tipos de objetos, con lo que se conseguirían el beneficio completo de la comprobación de tipos por hardware con el uso de Objetos de Control de Tipos (Type Control Objects, TCO).