Add a top level expand for macros
Add elipsis syntax for the macro transformer's pattern language.
Fix some edge cases for expand-expression.