feat(nat): prove all(?) theorems for le and lt
Prove all simple theorems involving only add, mul, le, lt
Nothing involving pred, though