fix deftype redefinition