Added case expressions and their syntax-expansions. Also fixed a syntax-expansion bug where if-true-exp tried to expand to an if-exp.