Abstactions and concrete implementations of mutable containers
