Made the Double_List package generic and updated to SPARK 2014.