changing negotiation in machine to be more explicit about result, plus extending machine graph to allow strict regard to negotiation headers to be chosen (with hopefully suitable defaults)