Add name() method to JsonCollection implementations and use it in the JSON translators