TS: added missing case and alternative expression in Ir replace switch.
TS: Added missing context, annotation and type for case and alternative expression in XML printer and reader.
TS: Added missing TagOf type of guards in case expressions for AST to IR conversion.
TS: Fixed so that the ExprAlternative is treated as a scope for its expression, guards and declarations in the constant expression evaluation.
TS: Added setting type of case expressions.
TS: Added new variable type in variable annotation to cover the scope of ExprAlternative.
TS: Fixed expression and declaration scope fixing for case statements and case expressions.
TS: Transform case expressions into case statements.