Typechecking works with all names in same namespace (variables, methods and objects). Simple error message output