prototype: add type parameter to MergingRun to restrict merge type

MergingRuns in incoming runs and MergingTree allow for different types
of merges. We can statically enforce the related invariant.

Author: mheinzel