defaultOperators

The operators a solver built from this profile is known to support before any session/resolution ever runs (e.g. a dialect's own operators, like ProbLog's ::) - seeds a new page's syntax highlighting (see DefaultGuiController.newPage) so it doesn't flag a dialect's own valid operators as syntax errors until the first solve happens to build a real solver and refresh it.