Typechecker tests + bug fixes: EArray type, for .. in loop counter is KVar and type t where exp is TArray t