Dredgers; Soil-shifting machines mechanically-driven with arrangements for alternate {or simultaneous} use of different digging elements {of compacting-type tools }