A Propagator Design Framework for Constraints over Sequences