Configuration object for either monolithic or incremental SAT in the default FGL configuration.
This is a ``transparent'' sum type introduced using fty::deftranssum. It is simply any one of the following types:
