Work towards enabling type annotation macros.  I WILL DO THIS.