`is_derive` instances for max function

[affeldt-aist]

"Later on, one should add is_derive instances to enable automated inference." @CohenCyril @lstrsrmn

(copy-pasted from a PR conversation #1819 (review))