NEW_GEN: Annotate external declarations.
NEW_GEN: Improve annotation of variable placements and struct member placements, also utilize this information when printing.