Add `min` and `max` infix notations for `positive`.

Merged Robbert Krebbers requested to merge robbert/positive_max_min into master

Merge request reports