Adjusted operators
Completed array expressions
Added types to the newObject structures with three arguments, so it
pattern matches correctly
Added the change stmt in the language
New module TypeSensitiveEnvironment to keep the last change on a class
Rename graph language
Added change dependencies
Added fieldAccess(_,_,_)
Access field through super
Work in progress