Expression type soundness repaired.