Add until phase guard
Add aggressive let substitution for constructor RHSs. This is a huge win.
Uncomment nilS and conS with smarter rules.