Add Representable and Choice instances for Neg