Linking: fix up all types before handling functions or objects#7579

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/linkingtautschnig/cbmc:bugfixes/linkingCopy head branch name to clipboard