Added semantics for case expression,
should be correct but the example is giving a type error.
The error comes from the unification on line 245