Add README for type checker and fix syntax error.