Improve experimental language import documentation

Author: nicolasstucki

docs/docs/reference/experimental/lang-experimental.md

@@ -0,0 +1,20 @@
+---
+layout: doc-page
+title: Experimental language features
+author: Nicolas Stucki
+---
+
+### Experimental language features
+
+All experimental language features can be found under the `scala.language.experimental` package.
+They are enabled by importing the feature or using the `-language` compiler flag.
+
+* [`erasedDefinitions`](./erased-defs.md): Enable support for `erased` modifier.
+* `fewerBraces`: Enable support for using indentation for arguments.
+* [`genericNumberLiterals`](../changed-features/numeric-literals.md): Enable support for generic number literals.
+* [`namedTypeArguments`](../changed-features/named-typeargs.md): Enable support for named type arguments
+
+### Experimental language imports
+
+In general, experimental language features can be imported in an experimental scope (see [experimental definitions](../other-new-features/experimental-defs.md).
+They can be imported at the top-level if all top-level definitions are @experimental.

docs/docs/reference/other-new-features/experimental-defs.md

@@ -10,11 +10,7 @@ This annotation can be placed on term or type definitions.
 
 ### References to experimental definitions
 
-- Experimental definitions can only be referenced in an experimental scope.
-- Experimental language features can be imported in an experimental scope.
-- Experimental language features can be imported at the top-level if all top-level definitions are @experimental.
-
-Experimental scopes are defined as follows.
+Experimental definitions can only be referenced in an experimental scope. Experimental scopes are defined as follows.
 
 (1) The RHS of an experimental `def`, `val`, `var`, `given` or `type` is an experimental scope.
 
@@ -280,6 +276,7 @@ class A:
 class B extends A:
 -  @experimental def f: Int = 2
 ```
+
 ### Test frameworks
 
 Tests can be defined as experimental. Tests frameworks can execute tests using reflection even if they are in an experimental class, object or method.