Expand InjectFailure to allow for case analysis

We have a universal way of injecting failures from one rule into another and a way to inject failures from one era to another.

Which works quit well for constructing predicate failures, but it doesn't work at all for case analysis. In other words it is not possible to pattern match on a specific failure in an era agnostic way.

We need to expand this `InjectFailure` interface to also support pattern matching on individual failures.

There is already a very similar problem in base with exceptions, sow we could solve in very similar way using `Typeable`