Changed the layout of IF1 documentation, added information about literals, edges, and graphs