added to the hybrid2casl comorphism, the def, and existl_eq cases