Stylistical changes
Intro for dependent types
Moved two links into the bibliography