Move Meta annotations into Expr directly
Add annotation type variable for binders
Add annotations everywhere
Annotate CoreFn with source pos and types