A working implementation of a primitive squarer
A more fluent api for the constraint system