give lagrange multipliers for path constraints, including state

[ghorn]

These should be split into upper and lower constraints using the sign of the multipliers, then summed. Should be trivial