TypedLambda 1.1
---------------
- Bug correction about abstraction going up.
- Minor enhancements.