Made the question of exercises voluntary.
Updated KaTeX.
Cosmetic changes to the code.
Heavy renaming of models.
Refactoring and renaming.