Improved function arity analysis

[vouillon]

At least forward propagation (through function return), so that we can perform optimized call to function inside functors.

[hhugo]

#56

[hhugo]

We could reuse global_flow.ml from #1384