Removed obsolete latex stuff.
Removed limitation in the number of automatically generated logical
variables, to avoid exceptions when dealing with very large formulas.
Added a TODO list.