Update to lambda-term-1.4
Fixed fake issues.

Now need to fix keybinding issues.