This is a major commit with plenty of bug fixes. Turns out, macrology
is *hard*! Not everything works yet, there are still several important
FIXMEs scattered throughout the code. But at least the macro
expansion/module scoping that has been bugging me for most of the past
week has been (mostly) fixed now, or at least avoided. We're getting there...