added lazy enumeration of powersets + test