Fixed some typos and an error (the term (\x. x) (\x. x) can be well typed).
Merge pull request #1 from josh-hs-ko/master

Fixed some typos and an error (the term (\x. x) (\x. x) can be well typed).