Add blockaddress and indirectbr intrinsics.
Use a union when combining declarations, since LLVM doesn't like doubly-declared functions.
Add an inline assembler form that just has a unit type.
Switch the blockaddress form to a value form rather than a statement; this reflects how it actually works.
Add the ability to state calling conventions for functions.
Add a handy structure definition system.