John Haugeland

Lock and unlock are cool. There should be a reject, to throw away all changes since a lock began, to establish full transactionality.

Arguably implements #9 in its wake Idea taken from [cortex](https://github.com/mquan/cortex). Provided by @unclecheese (thanks).

this is not desirable