Added test revealing a problem with the union type transformation of the field expression when the object is an apply expression that needs to be transformed
Fix: The union type transformation of the field expression did not always progress
Added test revealing problem with type checking of the || operator (traces)
Added missing type check of the || operator

Close #393