There were a bunch of questions about the word "infer" and not the FB "infer", which I retagged. Amongst those some (10) were related to Type inference, I tagged them with type-inference.
There were a couple of questions related to a R library called infer, which I tagged with r-infer.
Looks like there were just 6 questions left with the infer tag, after the cleanup. I merged the remaining questions in the tag with facebook-infer.
Given that 10 of the questions were related to type-inference as opposed to 6 related to FB's infer tool, I made infer a synonym of type-inference.
The next step is to add a tag wiki to the facebook-infer, after which we can place bets on whether that'll be sponsored some day.