Removed TypeExpr, check for native types with 'i is "integer"' etc.