Compatibilidad del diseño humano: qué significa realmente la coincidencia de tipos