Make functions of a single parameter

[clarus]

It seems that to compile code using inference of (static) methods, it is helpful to replace the Dot and DoubleColon classes with more explicit ones, where we explicit the type of parameters, the type of result, and the Self / base type. This might be helpful because there is also the parameterized monad M to infer, and in this way we make it explicit.

The goal of this issue is to implement such improvements with:

• all functions taking exactly one parameter (no currying)
• more explicit types for the Dot and DoubleColon classes
• the State.Trait parameter for the monad M added in more places, including in the header of type definitions or classes. This is because it is supposed to always be available anyway and can always be useful in case there is an arrow type.

As a result, we should be able to translate all the existing examples that compile, plus:

• cargo/concurrent_tests.v
• the ones using debug_tuple_field2_finish

[clarus]

Closed by #472