Fix bug814; "with { (a,b,c,d): % }" is now an error.
Arguably it could be legal and imply the category exports the listed
ids.  But not supported for the moment.