SimpleScp: evalNT (normConv t) v ≡ evalT t v -- correctness of normalization.