improved testing.  currently trying to compute unary polymorphisms for
|X|=36.  After decomposition, the space of unary maps has size 6^6 * 6^6
= 6^{12} = 2176782336 (*much* smaller than 36^36, but still program
seems too slow to finish)