Simplify `Data.Sum` and leftover `Data.List` imports#2011

Taneb merged 2 commits intoagda:masteragda/agda-stdlib:masterfrom

Saransh-cpp:Data.Sum-importsSaransh-cpp/agda-stdlib:Data.Sum-importsCopy head branch name to clipboard