Ensure causal delivery of NmSimple input.

Rather than having client code insert into `constr` directly, we now provide
`input_buf` -- insertions into `input_buf` will be propagated to `constr`
eventually, once the dependencies of the constraint have been received.