Generalized transform for equality constraints

 - Construct a basis for the solution space of arbitrary equality
   constraints, then sample from that space restricted by a set of
   inequality constraints.