Removed empty-set; set-clear is all that is necessary.
Added contract checks to racket/set.