closeConsRel :: CoCASLSign -> CoCASLSign
closeConsRel s =
  s { constructs = Rel.transClosure $ constructs s
    , sees = Rel.transClosure $ sees s }
closeConsRel :: CoCASLSign -> CoCASLSign
closeConsRel s =
  s { constructs = Rel.transClosure $ constructs s
    , sees = Rel.transClosure $ sees s }
closeConsRel s =
  s { constructs = Rel.transClosure $ constructs s
    , sees = Rel.transClosure $ sees s }