Rewrite for BOLF has begun.

Instead of grounding-on-demand, the new implementation is going to
ground everything in the beginning. Terms are cached and only pointers
are compared. There will be not ewffs.