initial work on a backend for generating source code for Latex