Simplify WITH-UPGRADABILITY
Simplify WITH-UPGRADABILITY, which allows SBCL to find definitions (many thanks to Luís Oliveira). Along the way, robustify upgradability of package-local-nicknames, and ensure that upgrade works smoothly on ABCL, CCL, MKCL among others. This MR supersedes !141 (closed).