Provides data-structures to describe FO-formulas and a lot of predefined visitors and extension-methods to manipulate them.