XL's many-sorted quantification over heterogeneous domains may generate validity-preservation failur...