Add a general linear solver
Use "numbered_symbols"
Add example to the documentation
Free variables can be specified by an external generator
More documentation for the linear solver
Tests for general linear solver