put sub-tp/bot last, so that recursive defs type check in queries
Merge branch 'master' into many-defs
generate dot18.dot for version 9