Add |- transitive $< as an automatic rewrite to aritmeticTheory