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
heado and tailo raise EarlyGoalErrors
use conso in eq_comm2
tests for eq_assoc2
eq_comm2 tests commutivity
remove opo from new eq_assoc/comm