ClNot :: ClBody -> Clause  -- data constructor