Added prevention of stack overflow for function with many arguments at
typer.
Adapted select-expression to syntax sugar.
Added position onto cases of select-expression.