Fix some typo. Added new text file to confirm type checking errors are match.
Merge branch 'origin' of github.com:AL333Z/FunctionalLanguage