Cl :: ClBody -> Clause  -- data constructor