Rename isComposite -> isCircumsized
Towards Rules/Triggers instead of Relations
test/Makefile: -Werror here instead of in file headers
Optimize: TODO
*broken*