dump-type.py: basic dump and markup of go type descriptors