Equational Theories Project on the Tech Tree