checking more robust in the presence of errors. It also eliminates a
ban on extending Runnable in the functional level.
The following files were modified:
M src/edu/rice/cs/javalanglevels/TypeChecker.java
M src/edu/rice/cs/javalanglevels/VariableData.java
M src/edu/rice/cs/javalanglevels/IntermediateVisitor.java
M src/edu/rice/cs/javalanglevels/SymbolData.java
M src/edu/rice/cs/javalanglevels/Augmentor.java
M src/edu/rice/cs/javalanglevels/FullJavaVisitor.java
M src/edu/rice/cs/javalanglevels/LanguageLevelVisitor.java