add constraint instead of explicit type requirement
remove tree.dump; use formatter instead
added test for cost-matrix; completed more alphabet parts; refined TCM/CM modules
remove old module