Refactoring Expr towards CSE optimization.

The problem is that maxB was causing a code explosion.
Adding first cut at JS containers.
Restoring JS_Eval compilation.
Removing comments in compiler.
Making the compiler use the IO monad, towards IO-based reification.