Tweak busyTakeMVar for debug mode
Remove unnecessary LVarData1 constraints from IMap.modify