Clarify the fact that 't' and 'f' are not identifiers (#32).
Clarify that `--ABORT--` has to appear as a separate token. (#32)
Use F(x) and I(x) instead of Fx and Ix, as discussed in #32
fix typo (version)