Shift tedious definition of Cartesian product of models to an appendix

[worden-lee]

Replace by a discussion of what the different parts of it are, how they're motivated by the structures of the epidemiological problems we're solving

[worden-lee]

This is waiting to do after #5