Delete powerset.rkt