polyglot.util.typedump