Fix DataFact unification and inference.