IR → Array Relation

File in include/llzk/Dialect/Constrain/IR	Includes file in include/llzk/Dialect/Array
Ops.h	IR / Types.h