fix termination on Monad.PrM.Relational.Theorems fix Bins.Theorem Goal: Prove everything in Monad.PrM.Relational.TCB.Spec Monad.PrM.Relational.TCB.EDist Axioms: Monad.PrM.Lift.muDist