Fix module in oldself/state name tokens.

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

[Issue: ]
Added comment about transformation of logical expressions
Deleted some file that was added by accident
Updated the result for a test where the ignore pattern is used inside a tuple pattern
Added a test revealing a minor problem with generation of the ignore pattern when it is used inside the tuple/record pattern
Fix for minor problem concerning generation of the tuple pattern
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