Post-typecheck function generator (clausegenerators), fixed typo in maybe.languate