Improved Container module even more with fine-grained mutable types