modify to use-package :alexandria
modify to use :import-from instead of :use in package
modify to add functions to :import-from
modify to check if quantification binder is of relation type