start learning about tuples in Lists.v. compile Induction.v. still 3 more exercises to do in Induction.v