added make-set and empty-set constructors