json translation can handle bin map keys; also, document this behavior in the readme