Added generation of union types for the new expression (tests included)
Updated test results and added more tests related to generation of union types
Improved generation of collection of union types (e.g. seq of (nat|bool))
Fix: The instanceof check used in the Java generated records was constructed incorrectly
Added local assignment construct to the IR and did some cleanup of existing templates
Added generation of union types for the case where a field in an apply expression must be narrowed before it is applied ((A) x).op()
Fix for functionality used to look up the enclosing statement of an expression, which did not take into account the corner case where the enclosing statement is an 'if-else' statement in an if-statement
Improved the union type transformations for the local var declaration and the field expression
Improved generation of union types for the case where the type is a union of quotes