The substitution used to carry "fragile" OccInfo to call sites via the
DoneId constructor of SimplEnv.SimplSR. This was always a tricky thing
to do, and for some time I've been removing the need for it.
Now at last I think we can nuke it altogether. Hooray.
I did a full nonfib run, and got zero perf changes.