* TypeNode.toString on TypeVisitorAA