Remove dummy variables
Remove dependence on TemplateHaskell
Oops: Subst's were mconcat'd not via composeSubst
Oops: Original AlgorithmW-step-by-step implementation had the wrong subst-carrying order