Lock: Added a fair lock based on ticket locks.

Also made a distinction between the fair and unfair lock.
Lock: Rcu now extends the Lock tag.
Lock: RW lock extension of the ticket lock.
Lock: interesting SeqLock implementation.