ClEqual :: Term -> Term -> ClBody  -- data constructor