HV-905 Providing a global config for auto unwrapping

An early attempt. Any thoughts on the direction?
> If you enable the automatic unwrapping (something which you proposed in the first place), I expect that you provide unwrappers for the cases where you have a type annotations. If not, something is missing.

But unwrapping and type annotations are two different things. Look at the `Tuple` example, the sole presence of type annotations is not automatically an indicator that unwrapping should be performed. Yes, there are some cases where it might make sense, but in other cases it doesnt. Thus, for the sake of consistency, I feel the presence of type annotations should not be considered a trigger for unwrapping.

To me, auto-unwrapping should depend on a) the global flag, i.e. it must generally be enabled and b) the existence of a matching unwrapper type for a given element.