runtime: avoid using a closure for Array.length
runtime: flesh out the Array module
use new Array library functions where appropriate