Analizador de Tipos Implementa sustitución y composición de sustituciones de tipos. El modo de uso y pruebas se pueden encontrar en: SustitucionTest.py TODO Implementar el algoritmo de unificación de tipos