dump-type.py: add VivEnv