This was done because I implemented [](key) operator in PersistentMap interface (so it became a mixin). But it can be easily moved to  PersistentMaoBase instead, keeping its original definition.