Update README.md

Updated README.md for Type Checker