Internalized C_Type constructor.
[CTS] Determined useless P==NP computation, atomically, for typed symbols.
Constrained Program.stack to types.