Clearly distinguish canonical type theory primitives from derived generic core library.