Started formalization of target LLVM IR (syntax).