Preassembly should extend across certain Statement types

[bgyori]

This is a more general issue replacing #192 and #144, the idea being that refinement relationships between types of Statements should be considered upon preassembly. Currently, the Preassembler is optimized such that Statements are grouped by type, if this is changed, the Stetements' own refinement_of methods could be used to achieve this.