Añadida especificación de comprobacion de tipos - dispersa / densa
Cambios en el código para comprobar el tipo devuelto por una operación