This is an existential that can wrap any functor that implements the
refinement interface. It will be used to do proper desorting in the
future, but right now it's a big hack to support the old
infrastructure while slowly migrating to new-style functors.