tsyn tests added (they do not pass, yet)
"but" introduced to felex and fesyn -- tested (OK)