Fixes #9

New trait InvariantPattern for Pattern specializations which use their type operations and cannot afford to be covariant. Successor is one of those.