TPC-C benchmark application using transactions based on update capabilities. Look at TPCC.hs for commented examples of a few of the transactions. More to come.