Refactoring propagator writing

[deuzeman]

The current implementation is rather messy -- spread out over different files, partly duplicated and riddled with ad-hoc logic -- and will become even more so if we want to add the error checking code that appears to be necessary.