tlex enhancements, tests added, tsyn modified -- not working, yet
tlex.py reimplemented, tests passed
tsyn.py -- development