oh actually, SBCL DOES have sane behaviour for re-evaluating (defpackage) forms: it preserves all previously exported symbols, and just issues a warning in case there was something you wanted to un-export. the problem's entirely just ASDF being fucking stupid and treating this as a fatal compilation error