weaken the bijection checking in map/e to try to avoid cycles

when one of the recursive combinators is used and we get
into its from-nat or to-nat function, then we just give up
on the checking in map/e