Covariance/contravariance content added to Dylan's slides