Got the new version of arrays using flat types to pass the first phase of type checking.