reification of CL type system and more