Can now modify and save a fact's statement.
Added the ability to render latex and update the images around the program.
Added a traffic light that shows whether the statement rendered correctly.