Add two big integers stored as digit lists

Two non-negative integers too large for built-in types are given as lists of digits. Return their sum in the same form. Handle different lengths and the final carry, and say how the answer changes if digits are stored most-significant first versus least-significant first.