Added attributes to the classes environment, so that we can put the attributes in the varEnv when typing the methods expressions