Make iterator distinct from const_iterator.
Remove exists(), replace with count().
Add write-back through non-const iterators!
Various other development.