is this your question -- why don't we treat

java.util.Map

in a Kotlin source as a

kotlin.MutableMap

automatically?