Merge pull request #6 from mkubala/gh-pages

Minor typo & formatting fixes
added info about specialization
Merge branch 'gh-pages' of github.com:ktoso/scala-types-of-types into gh-pages
updated sections
small fix
fix in sectioning
added todo
Annotation rule about recursive/overloaded methods

There are some additional cases where you need to have a Type Annotation, e.g. partially applied functions (`3 + (_: Double)`), but this might be out of scope and also, the compiler will tell you, if it's missing an annotation
Merge pull request #7 from knutwalker/patch-1

Annotation rule about recursive/overloaded methods
Update CONTRIBUTING.md
small fix
fix