Add `literal`
Expose `subst`
Add Condition optimizations
Add Switch optimization/elimination
Merge pull request #92 from Feldspar/condition-opt

Optimize Condition and Switch