Organize classes by file.
Generalize equality constraints for n variables.