Geef een beschrijving van het begrip type-equivalentie