ReducibleOf can be initialized with ReducibleType.

This is a convenience to allow private types implementing `ReducibleType` to be wrapped in `ReducibleOf`, thus avoiding leaking implementation details via return types.