Cleanup semantic checking of ALL/ANY/SINGLE/NONE