Propagators use deque rather than list and rm unused interfaces

Propagators use std::deque rather than std::list. Continuation of std::list removal

I went with deque for these (unlike vectors for the ones before) as there are a few push_front, pop_front calls

Perhaps another round will be in order.

Ping @sroe