Fix type manifest messaging

Fixes the bug that messaging variables are not exported in the type manifest, while the documentation explicitly says that they should be accessible from there.