Projects a rational point $x_0$ onto the affine subspace given by $A x = b$
The object project2linspace is a function closure.