Inital commit of transaction contract classification.
Augmented the basic axioms to get the transaction contracts to work. PSI, MAV and RC now form a total order similar to SC, CC and CV.