Access operator on distinct type of array

[sls1005]

I don't think so. A large part of procs in the `system` module, including `+`, 
`-` and `*` for `int`, are `{.magic.}`, and we have no problem borrowing them. 
I think the problem is that it is a generic proc, so the signature didn't match.