For simplicity, the original version of the transformation to add access chain instructions to a module will be restricted to using access chain indices that use in-bounds literals. In the future it would be nice to generalise this so that non-struct indices can be dynamic and clamped to be in-bounds.