More wip

split Misc into Tc (type-classes) and Misc
Tc can move in a separate library later