Good progress on type soundness.