Add test cases for previous two commits

examples/badcase.core  -> Case expression where branches have different types
examples/badscrut.core -> Case expression where scrutinee doesn't match branches