Simplify max and min for nats by removing lte
Add assoc, commut, and idemp proofs for min and max
Merge pull request #1330 from mrb/simplify_nat_max_min

Simplify max and min for nats by removing lte