Minor documentation fixes for SIMPLE static typing tutorial.