JuvixCore transformation: Compute ArgsNumInfo for each variable occurrence in function position

[lukaszcz]

Depends on PR #1421

Notes

• The computation should be based on type information associated with the binders and the function definitions.
• Information about type arguments applied to a node may also be necessary to compute ArgsNumInfo.

Starting point

• Core/Transformation/Base.hs defines the transformation framework.
• Core/Extra/Recursors.hs contains the general recursors useful in implementing the transformations.

[lukaszcz]

I think this transformation is not necessary. One can get the information about the type directly during compilation.

If the type information is not available or the type of the variable is polymorphic with its target a type variable, then the number of arguments must be determined at runtime from the closure.