Why is this change needed? I really wanted to implement, not to pull any possibly defined method in PersistentMap. 

Anyway, that's a leftover of a time where Dart's factory constructors were different, maybe I can put everything in PersistentMap now. But that will bee for another changelist.