dump-type.py: add some comments