Library functions for property checks

[heueristik]

See the post by @cwgoes in

I propose [...] that we create some abstractions / standard library functions around the common case of “a resource must be created which is exactly the same as a resource consumed except for difference X”, where in this case X is that the counter value is incremented by one. If such options are obvious and recommended to developers, it is much more difficult to screw up by mistake (since what the developer specifies is what is allowed to change, not what is not allowed to change - if they forget something, the system is still safe if perhaps no longer live). In general, in our standard library and developer interface design, we should err on the side of safety in this way.

https://research.anoma.net/t/should-the-rm-support-independently-balance-checked-actions/852.