untested: tweak SLMap.hs to have a constant-time freeze operation