Added mention of Inferred type hover.
This closes #3.