Finalized syntax for class stuff, with constrained frees