Merge branch 'patch-1'
Try to clarify as much as possible

* Give a better overview (so people know what they are getting into)
* Make section on primitive types much more focused
* Add additional information about how each feature relates to typed
languages