Minor documentation fix: add missing "\" at start of LaTeX macro.
Docs fix: "types" helper function is actually named "getTypes".
Merge pull request #665 from liblit/master

Minor documentation fixes for SIMPLE static typing tutorial.