Custom envmacros for lemdef and example.
Spell.
Convenient macros for inserting lanuage commands.