Finished porting LIsts
Basics and Induction