Macro now has full sig.
removed Macro type in favor of Func-kind-macro
memoize Syms; use syms for special forms.
more accurate variad type for macros
remove printing
allow spacing in arg and variad exprs