Rename mergeUp & mergeDown to leastUpperBound & greatestLowerBound

Just a refactor to make it easier to understand, with no functional change.