Materia: Reescritura, Cálculo-Lambda y Tipos