Moved the LTS text-writing code to another function in calc.ml. Should probably
consider moving this stuff to another file and rename calc.ml, too.