ivory-backend-aadl: array types use 'data implementation'
ivory-backend-aadl: add type contexts for global array defs

* prevents duplication in multiple modules
* means running every module compile & asm compile inside a TypeCtxM
  and getting tan extra document from runTypeCtxM at the end