wild prints more nicely
conso early test
everything returns tuples
add logical any and logical all
add goalexpand
lall reifies
allearly test
reify ahead of time
fix test. remove print statements
add raises
interleave passes on some exceptions
conde uses lallearly by default. lany is earlysafe
opo raises EarlyGoalError. adjust tests
add groupsizes_to_partition
first draft of assocunify without sympy
add tests for assocunify
start drafts of logical eq_comm, eq_assoc