Factoring Stratified Models

@kris-brown, Joshua suggested that if we can't compute pullback complements as a destratification approach, then we can at least use the model space exploration set-up to specify a search space of models and then do guess and check as the factoring strategy.