Fix the arity of thunks to be on the same location as in native Clean programs
This is needed, for instance, when using GraphCopy functions that get this information from interpreter descriptors.
This is needed, for instance, when using GraphCopy functions that get this information from interpreter descriptors.