There are 2 compounds here for study purposes. The Vu_BinaryRecursionSearchIndex is for anyone who wishes to dissect and see how the MCG BinaryRecursion operator is wired up.
I've also included my poorman's version of BinarySearchIndex...using a While loop, I actually think this poorman version is less convoluted than the BinaryRecursion one.