Generalize AssignSolved to have multiple outputs and accept multiple

expressions.

That is, AssignSolved can in principle solve for multiple variables
and accept a system of equations.

Add a special case to NewCodeBuilder to handle the simple case of
1 variable and 1 equation.

Code lowering for the generalized AssignSolved instructions is not
yet implemented.