Add some trivial but useful heaplang libraries.
These are used by the new Herlihy-Wing queue example, and I'm sure they will be useful to some other developments.
Note that the minimum and maximum spec come in two versions, one on
Z and one on
nat. The latter might be more useful when working with array indices which are often
nat. (That is the version I use in the HWQ example).