[Typer] [Git][monnier/typer][bosn] 4 commits: Corrected typos; moved some rules and renamed rule groups; fixed boxes around figures