expose type_expr to macros
implement Context.typeof with Context.typeExpr and remove internal api function
move typeof to interp (no expr encoding)
Merge pull request #2439 from frabbit/typeExpr

expose type_expr as Context.typeExpr to macros