More progress on type soundness