get repl translation working again, move some things into replSideTheory

in particular, prove the EqualityType theorems in the side theory and
add them to the translator's state (they seem not to get used
automatically though).