Fix the behavior of 'memoMap' to save more work.
Fix the behavior of 'memoMap' to save more work.

Previously, there was a mistake in this definition that was throwing
away potentially-useful work.  We now preserve that work and get a bit
performance improvement as a result.

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol