Test for letrec now passes.

Added the visualization for letrec.
Added test for mutually recursive letrec expression.

Fixed bug in type checking lambda expression.
Parameter bindings leaked to the upper level.