[cleanup] Simplify interpolate()

This simplifies the global interpolate() method by using TypeTree::forEachLeafNode with a callback instead of writing an explicit visitor. This is more readable and saves about 50 lines of boiler plate code.