[RFC] De-type-ification of LLVM IR: why?

(Just in case, BTC stands for Backedge-Taken Count, and it differs from trip count. The trip count is BTC + 1.)