Implemented sub-type specification for Type.