Added RefinementHistory, RefinementObserver (initial implementation).