Rename (===) to (====) in preparation for QuickCheck-2.7
Bump QuickCheck lower bound to 2.7
Add `literal`
Expose `subst`
Add Condition optimizations
Add Switch optimization/elimination
Merge pull request #92 from Feldspar/condition-opt

Optimize Condition and Switch