Move withCentralVariableAssignment etc. method implementations up in the hierarchy of State types.

[elaverman]

The problem is that for traits, one cannot call this.copy().

Possible solution: create methods for copying on the Module level (after, for example, StateModule.createInitialState()), which are then called from inside the State.