feat(library/standard/nat2): add a mechanism for a general recursive definition with respect to a nat-valued measure