Add the ability to compute things by hand

[cheater]

I would like to take an Expr and see what happens to it at a specific value, to see how the various functions that construct Expr behave, before I run a solver on it. That would be very helpful.

[chrisnc]

There is a function called evaluate that's exported from the top-level module. I think it does what you're asking for.