Feature: Improve add-on init dispatch

Handle different add-on `init()` signatures in a generic and type safe way. An adapter is selected at compile-time based on the signature of the init function. The adapter is stored in the module struct. At run-time the adapter unpacks the users init function and provides the requested arguments.

This is related to #8802.
Sorry, but I am not ok with this. Could we get back to them, so there won't be a noise in `git blame`?