Add "nat+min" RA

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.

But how should we name things? mnat isn't great as m could be min or max...