Finish the macro prelude

[jbearer]

This should include the ability to define high-level macros within high-level macros (e.g. infixr and infixl) as well as the definitions of some useful macros and comprehensive tests.

While a complete prelude is not necessary for 0.5, at least this much will be a good check that all the recent parser changes are working and sufficient.