Total causal

An implementation of the totalcausal ordering