Move mutating/readonly Index methods into separate traits

This allows us to remove the unsafe `view_from_buffer` function by
introducing a new IndexView type that is associated with the buffer's
lifetime.
It also prevents invalid usage of immutable Index instances, which would
throw C++ exceptions if e.g., add() was called on an immutable view.

Author: tnibler