Fixed <- and array indexing bugs

Hopefully, it works. Can you help me test before merging in, Eytan?