Add requirements.txt
Fix compiler docs.
Add CoefficientCollector.
Add Gaussian elimination, affine equation solving.