Add Extern and Intrinsic body types#1088

Nadrieril merged 5 commits into

AeneasVerif:mainAeneasVerif/charon:mainfrom

soteria-tools:issue-982soteria-tools/charon:issue-982Copy head branch name to clipboard