generalise appbuilder

Stream: lean4

[Jakob von Raumer]

I'd like to use something like mkAppM but on a fvar instead of a constant, looking at the code, there's not really an obstacle to that except for the fact that the function, which accepts arbitrary Exprs as functions and does the heavy lifting, is private. Can we make it accessible or generalise mkAppM?