A simple type class based canceler for natural numbers.

See also https://gitlab.mpi-sws.org/FP/iris-coq/merge_requests/109

Main question: where to put this? In numbers.v or in a separate file (as in this MR).