forgot to activate new tests for case expressions for type checker