Make bits of shared memory concurrency model reusable
Overload binary operators for crv::Rvalue<T>&& and literal
Add partial order model of stack abstract data type (ADT)

I use partial orders to specify a concurrency-safe stack ADT;
generalizations to other ADTs are underway.