Progress on type soundness