Adds co/contravariant properties appropriately