Added forloop desuggering subsection and renamed typechecking to Context Analysis