Recursive protocol conformance checking failure

If reducible type parameters are inferred, then `Latch<T>` must already conform to `ReducibleType` for it to be correctly inferred that it conforms to `ReducibleType`. Recursive inferencing of this nature does not currently function.