converts type and type class system to caffeine