Merge pull request #1 from sftypes/winitzki

adding my solutions written up so far
Added the proof for normalize.
Merge pull request #2 from fletcherdss/master

Added the proof for normalize.
adding Lists.v