Add decidability instances for Z.gt and Z.ge

Unfortunately these are not just defined as flipped versions of Z.lt and Z.ge.