Remove cutoff.
Add show functions that produce strings with little junk.
Export some more functions on Nats.
Make peek use impossible (this is the right behavior).
Simplify choose (and fix a bug).
Reimplement Eval in the new system.
Use the good newDNat function instead of the bad one.