Improved documentation for the ILock and Map.lock