Fix some exports.
Fix some foreign types.
Fix some formatting.
Get rid of stupid symbol conflicts.