Finish initial version of the List module in CPS.