a few changes, some objectionable perhaps

The objectionable, or simply notable commits are: 01bf6d8, b1c22e9, dac7253, 5f184c9, and 7a08b44. See if you like them! :)

With this lot, all tests pass in < 150s (except the hasNext* and emit00 which don't parse, and the test about lists that's not supposed to pass), whereas before I would have to stop some tests manually.

Slightly off-topic: the abduction results for test08.star seem odd, even though they are the same as before. It looks like coreStar finishes thinking {emp}{emp} is a good spec, whereas I don't think it is...