Added documentation to TypeVisitor. No code changes.