arrays with integer expression bounds: done (more checking maybe)