This allows us to easily add other kind of toplevel directives, e.g. for global configuration options.