Add evaluation strategies to (non)strict semantics
Add stuff to type systems -section
Add stuff to type systems section
Fixes to evaluation semantics section
Corrections to type systems
Content to polymorphic types
Fix grammar and citation in lazy evaluation