Composable monadic STM for C++ on Free monads
'Stupid GUID' replaced by int. Boost x2 in single threaded, x10 in multithreaded.
First working version of STM with free monad.