Match seperation is now a thing we support.
Describe approach to meet-spreading goodness.
Comment on implementing meet-goodness-constraints.
Lay out some team tracking arrays. Zero init.
Need some team specific data.
Add abortative constraints for meet-goodness.

Turns out I didn't consider that we don't have an explicit team number
through the round portions. We also can't have an array of arrays, so
there's too much nondeterminism to go around.

So instead, I'm going to try for moving to bitvectors and accumulating
met-statistics via or'ing.
Disable more code for intermediate juggling.
Make in-formula number printed strings.

So that we can change them.
Make int sort come from a string too.
Make which logic we use selectable too
Make the jump to QF_AUFBV
Re-enable goodness code, try declaring its vars
Don't forget our good friend, the newline
More QF_AUFBV type fixing.