numbering

Combinators for creating bijections from a subset of an arbitrary type to a range of Ints, , e.g. for using libraries that require Int IDs.