[cli] Show provide args and provide ret variables.
TODO
[cli] Improve output
Add provide_call_validation in socket transport
Cross method of called provide state is executed
Lot of changes in smart:
- provide ret variables are now managed
- several changes in variable resolving way
- value of variable resolved by another variables are now 'bound' to this variable value.
Introducing Requires to capture Require multiplicity in Smart.