Spaces of Theories with Ideal Refinement Operators