start work on generalizing Nat by switching _Lift to an Iso in an
arbitrary category