Stepper/resugarer is now in a satisfactory state.
* Wrote And, Letrec, Automaton macros in grammar file.
* Hooked up well-formedness checking.
* Improved some error messages.