improved handling of "set" options, better redundancy removal