soundness for subtypes