Document contravariance and covariance

[Federico Zivolo]

Flow supports contravariance (-), TypeScript doesn't.

Also, TypeScript doesn't support covariance (+) on all its types, but just some of them.

[Bazyli Brzóska]

I'm open for PRs. Thanks for the issue.