We have an RA mnat for nat with "max" as composition. But we don't have one with "min". It would probably make sense to add that.
mnat
nat
But how should we name things? mnat isn't great as m could be min or max...
m