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
Fix for the union type transformation of the field expression when the field expression is not the root of an apply expression.

Test revealing the problem is also included.
Fixing problem with change of type qualifier as the call statement is being type check

See Issue #389
Merge remote-tracking branch 'origin/pvj/main' into ncb/development