Defined useful axioms.
Merge branch 'master' of https://github.com/supercooldave/ruse
Added some axioms that should be needed for proofs (in Results) and closed the labelled operational semantics under transitivity and reflexivity.