Fixes for SCL-5048 and SCL-5419.
Now designator types will be much better. Fixed existize method for block expressions. Parameter designators improved.
Improved parser to parser block around even single expression in case clauses and {} function expressions. This is important for right type inference, because we have to get rid of all references to pattern.type.
Formatter is fixed for the recent parser changes.