Moved the type soundenss invariant

From replCorrect to type soundness.  ReplCorrect doesn't build due to
the previous commit, but I think that it shouldn't require any more work
regarding the type system or inferencer.