Naive implementation of FactStream (as Stream[Fact])