Type IS-A PredefinedType | TypeReference | TypeLiteral instead of HAS-A