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