Progress on type soundness repairs.