It is now permitted to include array size information on array types in ModuleType annotations. This is needed to properly handle structures containing arrays.