While it's sort of germane to the typed metadata discussion, it seems rude to jump on the thread with a pretty different idea of it so here are my notes. One of the problems for macro usage is that Expr and Type are bound, so if you want to handle ty...