New field [experimental] to register a domain in abstractions.ml.
New warning key experimental, that replaces the debug key experimental-ok.