Avanzo con la formalización

Entregué una primera versión a Diego y Dani, me hicieron algunas correcciones y volví a entregarles otra versión.

Ya tengo la sintáxis y la semántica operacional que me convencen bastante. Avancé un poco con la semántica abstracta, que sería lo que permite "tipar" programas con sus pre y post condiciones.