Add to/from binary for map

Move eqc for bnary roundtrip to test mod