Annotate C language IR with types.