Finish Args datatype, propagate changes to related modules.