Add typesetting main file
Some progress