diffCoCASLSign :: CoCASLSign -> CoCASLSign -> CoCASLSign
diffCoCASLSign a b = closeConsRel a
  { sees = Rel.difference (sees a) $ sees b
  , constructs = Rel.difference (constructs a) $ constructs b
  , constructors = diffOpMapSet (constructors a) $ constructors b }
diffCoCASLSign :: CoCASLSign -> CoCASLSign -> CoCASLSign
diffCoCASLSign a b = closeConsRel a
  { sees = Rel.difference (sees a) $ sees b
  , constructs = Rel.difference (constructs a) $ constructs b
  , constructors = diffOpMapSet (constructors a) $ constructors b }
diffCoCASLSign a b = closeConsRel a
  { sees = Rel.difference (sees a) $ sees b
  , constructs = Rel.difference (constructs a) $ constructs b
  , constructors = diffOpMapSet (constructors a) $ constructors b }