terminando chequea en tipos
implementando transversalmente chequea y getTipo