Code to replace large finite maps with new constants.

The new constant gets characterised with a slew of results about
FLOOKUP. Is this likely to be enough to replace the compiler_state’s
cmap finite-map, say?