Fixed some TODOs by finishing the definitions for list and vector, and implemented several of the definitions from section 7.1.3.