Attempt at parameterizing by a lattice.

Not going too well, so far.
First stab at macro-generated Redex.
OK, got macro stuff working, maybe!
Rearrange some files.
Rearrange some more stuff.
More cleanup.