Move Map <-> Dat/Mat consistency checks to Arg constructor