expose type_expr as Context.typeExpr to macros

Exposes the type_expr to Macros. This allows enhanced macro manipulations based on the type of an expr.