Add an oracle to the REPL spec for type errors

This should also have the pleasant side effect of making the REPL
deterministic.