Slight progress on cheats

Alas, they're not going to be provable as is because various parts of
the system aren't updating the state all in the same way when a
top-level expression encounters an error.