Sugared type elements reworked (mainly to support existentials), Infix, Function and Tuple types now converts to Parameterized type, then type is inferred.
Parser reworked to support existential infix and function types: _ :: Int, _ => Int. #SCL-6601 Fixed