Liskov: Method return types matching or subtype

[ResponsiblyUnranked]

The method return type should match or be a subtype of the superclass return type:

• This is inverse to the parameter type rule Liskov: Parameter types matching or more abstract #7