Better arrow for mon.
More informative blame for CPCF.
Make label work for SCPCF.
Use non-capture avoiding substitution.
A few operations and recursive-function?.
Better SCPCF semantics.
Types for new operators.