Use `Fin(x)` and `Inf(x)` instead of `F(x)` and `I(x)`.

This makes it clearer that `F` (now `Fin`) does not refers to the F set
traditionally used in the acceptance of Büchi automata (which would be
specified using `Inf`).