more formalization of featherweight llvm ir