Long-needed refactor

The result of the refactoring is that EDA->ProbabilisticExplicitTopicModel, EDA1->LDASTWD, EDA2 gets deleted because it has an erroneous complete conditional implementation (the type-topic count is not normalized but needs to be; this was corrected with the introduction of EDA2_1), and EDA2_1->EDA