code used to benchmark paper for CPAIOR'15

This is a substantially rewritten version of almost all code.
The representation invariant is now enforced by its own propagator,
equal and concat have been rewritten from scratch,
benchmarks from Kaluza have been added.