:load test/types-tydef-qual/tydef-qual.disco