more tests for currifier
new transform methods on flattener with testing
start a mini int-based congruence closure