allow negative argument in "consumes" source format; more documentation/NEWS;

prefer negative "consumes", relative to the total number of prems, which is stable under more morphisms, notably those from nested context with assumes (cf. existing treatment of 'obtains');