Type-check array accesses, don't stop type-checking in comparisons
Typer: Fix while bodies not being type-checked
Merge pull request #112 from Kha/typer-fixes

Moar Typer fixes