addCoCASLSign :: CoCASLSign -> CoCASLSign -> CoCASLSign
addCoCASLSign a b = closeConsRel a
  { sees = Rel.union (sees a) $ sees b
  , constructs = Rel.union (constructs a) $ constructs b
  , constructors = addOpMapSet (constructors a) $ constructors b }
addCoCASLSign :: CoCASLSign -> CoCASLSign -> CoCASLSign
addCoCASLSign a b = closeConsRel a
  { sees = Rel.union (sees a) $ sees b
  , constructs = Rel.union (constructs a) $ constructs b
  , constructors = addOpMapSet (constructors a) $ constructors b }
addCoCASLSign a b = closeConsRel a
  { sees = Rel.union (sees a) $ sees b
  , constructs = Rel.union (constructs a) $ constructs b
  , constructors = addOpMapSet (constructors a) $ constructors b }