FOL tokens now use "Name" instead of "String" to conform with the definition of Formula which uses Name instead of String.

Even though it's the same thing, this is nicer imo :P