Started with Lists.v
Natlist
Functions on natlist
Rev, snoc exercises
Lists finished