Fix module in oldself/state name tokens.

Was null. Is now empty string. Needed for lex name token comparisons.

[Issue: ]
Added four tests to exercise generation of pattern use in the for all statement
Updated generation of the for all statement to work for other patterns than the identifier pattern
Added another test to exercise generation of the forall statement where the pattern is an int pattern
Added five tests to exercise generation of the for pattern bind for different types of patterns
Updated generation of the for pattern bind statement to work for other patterns than the identifier pattern
Added two test revealing problem with generation of tuple and record patterns
Updated the type assistant with functionality to resolve types
Fix for generation of tuple and record patterns when the actual value is union typed
Added two test revealing problems with generation of the record pattern when the actual value is union typed
Value typed expressions that are checked for their type do not need cloning
Fix for generation of the record pattern when the actual value is union typed
improved prob integration to handle frame rules for implicit operations
Merge remote-tracking branch 'origin/symphony/development' into kel/astv2
updated prob integration to support:

b->vdm strings
vdm->b
  named inv types
  record types with inv
Updates to many result files now that the toString method of a class will be code generated also
Minor corrections to the codegen runtime
Refactoring of some functionality in the JavaFormatAssistant to promote reuse
Added utility a class that generates the toString Java method from an IR class declaration
The Java code generator now uses a Java specific transformation to generate the toString method of a class