Typechecker: tests + bug fix: checkExp EArrayAccess should accept KVar