+ TypeNode.toString(TOT) (initial commit)