Examples: Base Cases

>(solve '(= x 3) 'x)   ; lhs is desired var

(= x 3)

>(solve '(= 3 x) 'x)   ; rhs is desired var

(= x 3)

>(solve '(= 3 y) 'x)   ; rhs not cons: fail.

nil