macro annotations, pre-alpha v1

unfortunately the original idea of hijacking enterSym didn't work
(see the comments in Namers.enterSym for more information), so I had
to resort to a very ugly hack, since I do need macro annots right away