-- dead code
unify the map combinator
use zarith
use Z.t for INTEGERs
adjust tests
un-use num