Added documentation to TypeVisitor