If we add type_expr we can remove typeof from the internal API. The `"typeof"` handler can simply access the etype on the type_expr result.