- requested by Mattijs, this allows the developer to provide some
  default options, or otherwise adjust the logic.

- the following set/unset operations are disallowed (FatalError)
  * changing -case, -roots, -parallel
  * changing type (bool <-> non-bool)
  * no mpi options