Add Ppx_deriving.catch, make Eq, Show, Ord not raise on abstract signatures.