Improved the union type transformation such that the node replacement is part of correcting the types
Added generation of map application where union types are used
Added work on handling of the apply expressions where union types are used
Fix for statement finder in the forall statement case where it keeps applying the visitor to itself eventually leading to a stackoverflow error