Added string_of_env to print the environment
Added elaboration of the type of an instance symbol