Added a test for covariance of properties in stuctural types.