Merge pull request #26 from Toxaris/master

Lecture on normalization
Monads in for-comprehension
Merge branch 'master' of github.com:klauso/PLT2012
English usage error
Merge pull request #27 from Toxaris/master

More text about normalization
Higher order kinds
Merge branch 'master' of github.com:klauso/PLT2012
Revert to without implicits
lecture notes on OOP
Markdown template
Merge branch 'master' of github.com:klauso/PLT2012
File extension error
Problem I.I
Tons of homework
Formatted a bit
Put in the three steps to do defuncitonalization; rephrased a bit
Finished documenting defunctionalization
Fix error message
Started documenting Krivine's machine
Merge branch 'master' of github.com:klauso/PLT2012