Type_check de los elementos de la parte B