Implement unlock; change mutex internals