Remove the Array.index function (#539)

...due to its tendency to create thunks.

In a few cases it was possible to avoid forcing the returned
array element, e.g. in insertNewKey and deleteKeyExists.

Fixes #538.

Author: sjakobi