Borrow array values with borrowed elements

Currently borrow arrays values assume that there are values at each index (as with other arrays) which is fine because Guppy should only emit such arrays, however in theory borrow arrays can have indices where an element was borrowed without being returned so the array value should reflect this