Basic implementation of types and type:<=.