Document covariance and contravariance support

Fixes #372