Typechecker works for mutually defined functions and untyped functions
Merge branch 'fun-eval-manu' of https://github.com/alexgadea/fun into fun-eval-manu