Update Lock.hs with more documentation to make sure that the Boolean return value is clear.