Give an actual interface to the conditional rewrite rules to enable usage.
Normalize the form of let-bindings in the same way that we normalize Bind.
Hoist loop-invariant index calculations from the innermost loop.
Merge pull request #44 from pjonsson/sics-hoisting

Add the first client of the conditional rewrite infrastructure.
Export FeldOpts so we can use reifyFeld