Draft: refactor: Finer-grained type signature for module methods

Kept as reference for FLEXISIP-776

The relevant commits are the children of ":/tests: Check IncomingTransaction leak on INVITE/CANCEL"

Reviewer guidelines

The following requirements must be met before merging:

flexisip	done	N.A.	Tests added
	done	N.A.	Related MR pipelines succeeded
	done	N.A.	SHA1 consistency of cherry-picked commits
linphone-sdk	done	N.A.	On a tag... (Except for master, which is allowed to use yet-to-be-released versions of the SDK)
	done	N.A.	...From the corresponding branch
docs	done	N.A.	CHANGELOG up to date
	done	N.A.	wiki (public documentation) up to date