move serialisation spec updated with richer Move arbitrary instances