* toString with TOT
+ javadoc
+ TypeNodeTree with TOT as test