specify prototype of arrays for type checking

test plan: copy al/al-integration-test.al to test.al, run make && node parsetest.js