The models don't have an actual state. They just have some functions that take a state as input (at least mathematically). Removing the state and RHS from the models would make this more clear.
It may still be useful to have an initial state that can be obtained from the model, just so we know the initial state is valid, and so we can more easily load a state from a file.