added notes to environment and typechecker, updated treewalker with pseudocode for class type checking