Refactor of min and max constraints to support strict comparison and any type with an Ordering.