Split up step relation so that threads can take a single step.

There is now a tstep relation for a single thread's step, and the step
relation now depends on this. Since this screws up fork, we have removed
it for now, for the sake of making progress.