v0.1.0: hidden DefaultMap, completed type restrictions.