Some small editions to the docs
New blog post: type inference rules.