Cleaned up Lists exercises.
Grep bonus exercises
Updated README
Renamed exercises/Main to Lambda
Postulates instead of holes in Lists