Add variance back to Liskov combinators.

This backports 7cb90705b55454b245e34ad8ab7162be6cc674e6 (#546) from
7.1.x to 7.0.x.
Tests for parent.