More type soundness