Add support for a new equation fact that records a relationship of the form %a = OpBitcast %b. Additionally, extend the fact manager to be able to infer some corollary facts (e.g. %a = OpBitcast %b and %c = OpBitcast %b => %a is synonymous to %c).