On the Sheafification of Higher-Order Message Passing