Generate constraints for other arithmetic operations: /, -, unary -.
Rename functions for clarity. The 'simplify' function is now the entry point to the simplification phase.
Remove unused parameter.
Add README.