Compatibilità della progettazione umana: cosa significa effettivamente la corrispondenza dei tipi