Currently the exact working of ForeignLinker is undocumented,

We should add documentation that describes such things as how the linking works in general, as well as the supported carrier types, and the allowed carrier type <-> memory layout combinations.