[Draft] Adding Safe indexing to Array

I have already told that I don't like the idea, but if it ends up in the standard library, I agree that checked: is confusing as well. From @xwu's suggestions, I can live with some form of if*. How about a[checking: i]?