DEFPACKAGE-PLUS is an *extensible* DEFPACKAGE variant with version support