Global objects can now appear on the LHS as well. This allows us to use global objects not only as arguments of reference-parameter positions....
The consequence of this is that we also have N_globobjs on LHS after object resolution and hence need to support them in compile....
We also move the explicit accu phase before the resolution of global objects. This resolves issues #2479 (closed) and #2434 (closed).
In principle, this means we no longer need support for non-explicit accu situations in NTCfold (INFO_EXP_ACCU (arg_info) == NULL) branch, but, for the time being we leave this in the code base just in case we need to run the type checker before the explicit accu....