expose type_expr to macros