Function U-Solve!

Part of:

package lisplab
( u-solve! < u > < x > )