Add README.md for TypeInf