Split off Misc, Ty, Prim
Split off CCC
exports
Factor out Lambda (lambda expressions)
finish Lambda factoring
Moved Tests out of AsCCC