type.py qualifies all type names with the header in which they are defined.