Domain.ProductSourceReduced product combiner with n-ary reduction rules
val make :
(module Sig.Combiner.Stacked.STACKED_COMBINER) list ->
eval_rules:(module Sig.Reduction.Eval.EVAL_REDUCTION) list ->
exec_rules:(module Sig.Reduction.Exec.EXEC_REDUCTION) list ->
(module Sig.Combiner.Stacked.STACKED_COMBINER)Create a reduced product over a list of domains and a list of reduction rules