This is a non-free (as in monad) variant of Map.
This is a non-free (as in monad) variant of Map. We need it
in ReadLP so that graph compaction is defined, which is required
because compaction utilizes an SMap[QSU[Symbol], Symbol]
, which
isn't valid when the QSU
s inside the keys are libre.