Auto-collecting invariants.
Add syntactic sugar for class().

\C <=> class('C').