Add `literal`
Expose `subst`
Add Condition optimizations
Add Switch optimization/elimination