Added first part of Check Loop Variable Types section. Moved Introspection in Julia section down to serve as reference when I write the first implementation section.