Update defs.lisp

Fix a small typo in package export clause.