Nuevo evaluador de Fun. Eager, corresponde a la tesis de Manu
cabal nuevo para el evaluador
Detalles del evaluador
Evaluación de variables definidas como valores
Detalles léxicos
Evaluador con informacion de la traza
Los import se buscan en la misma carpeta donde este el modulo
Arregaldo Bug al evaluar variables
Typechecker works for mutually defined functions and untyped functions
Merge branch 'fun-eval-manu' of https://github.com/alexgadea/fun into fun-eval-manu
Rewriting of some checks using Lenses
Rewriting of some checks using Lenses
Typechecking theorems and updating type information
Corregido error en evaluador de If. Corregido error al agregar las declaraciones como hipotesis (se pisaban las hipotesis de las subpruebas y por eso no andaba la hipotesis inductiva)
Better style of coding. Typechecking of propositions.
The typechecker knows of declarations made in imported modules
Checking of inductive proofs and proper checking of proofs after tc
Merge del fun-eval-manu con master.