Types and subtypes as partial equivalence relations