Removed the macroexpander and the alpha-equivalent pattern matcher, since the hand-rolled module checker is now a promising place to start.