Draft implementation of RefinementHistory; playback feature tested, file I/O not tested yet.