Added synch primitives to parse synched files
Added new definition of map_cmp as to match Paolo's Ocaml """""canonical"""" definition