Optlang: Start improving cases rules
Optlang: Improve cases rule to remove overlaps
Optlang: Or, instead remove overlap when applying case forwards
Optlang: Remove weird cases specialisation (didn't work nicely)