Add name/type to globals for annotation members.
Simplify TNumber -> double in C++.
Fix TForall/TFunction handling for annotation members.
Add template instantiation for projection calls.

This is a massive copy-paste, and can certainly be refactored to
something nicer.