explicit arrays and limit checks

[Matthew Fluet]

> I'll let you know how that works out;

Woo-hoo!  Hello-world works.  I'm running through regressions now.