Update gh-pages site for da7d7231b7f21fe1085abc569eb783590074a359

6 files changed, 1672 insertions, 89 deletions

diff --git a/api/dotty/tools/dotc/core/Scopes$/EmptyScope$.html b/api/dotty/tools/dotc/core/Scopes$/EmptyScope$.html
index 43782e44a..90caccb7a 100644
--- a/api/dotty/tools/dotc/core/Scopes$/EmptyScope$.html
+++ b/api/dotty/tools/dotc/core/Scopes$/EmptyScope$.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             final
         </span>
@@ -5330,6 +5333,17 @@
         <span id="entity-name">
             EmptyScope
         </span>
+        
+        
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type">Scope</span>
+            
+        </div>
+        
     </div>
 
     
@@ -5339,12 +5353,23 @@
     </div>
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section empty">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section empty">
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="cloneScope(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'cloneScope(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5385,13 +5410,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Returns a new mutable scope with the same content as this one.</p>
+                <div class="member-body-short" id="short-body-cloneScope(ctx)">
+                    <p>Returns a new mutable scope with the same content as this one.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-cloneScope(ctx)">
+                    <p>Returns a new mutable scope with the same content as this one.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lastEntry" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lastEntry');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5417,13 +5460,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The last scope-entry from which all others are reachable via <code>prev</code></p>
+                <div class="member-body-short" id="short-body-lastEntry">
+                    <p>The last scope-entry from which all others are reachable via <code>prev</code></p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-lastEntry">
+                    <p>The last scope-entry from which all others are reachable via <code>prev</code></p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lookupEntry(name)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lookupEntry(name)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5475,13 +5536,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Lookup a symbol entry matching given name.</p>
+                <div class="member-body-short" id="short-body-lookupEntry(name)(ctx)">
+                    <p>Lookup a symbol entry matching given name.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lookupEntry(name)(ctx)">
+                    <p>Lookup a symbol entry matching given name.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lookupNextEntry(entry)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lookupNextEntry(entry)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5533,13 +5612,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Lookup next entry with same name as this one</p>
+                <div class="member-body-short" id="short-body-lookupNextEntry(entry)(ctx)">
+                    <p>Lookup next entry with same name as this one</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lookupNextEntry(entry)(ctx)">
+                    <p>Lookup next entry with same name as this one</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="nestingLevel" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nestingLevel');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5565,13 +5662,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The number of outer scopes from which symbols are inherited</p>
+                <div class="member-body-short" id="short-body-nestingLevel">
+                    <p>The number of outer scopes from which symbols are inherited</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-nestingLevel">
+                    <p>The number of outer scopes from which symbols are inherited</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="size" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'size');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5597,14 +5712,33 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The number of symbols in this scope (including inherited ones
+                <div class="member-body-short" id="short-body-size">
+                    <p>The number of symbols in this scope (including inherited ones
+from outer scopes).</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-size">
+                    <p>The number of symbols in this scope (including inherited ones
 from outer scopes).</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toList" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toList');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5625,15 +5759,36 @@ from outer scopes).</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+A
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The symbols in this scope in the order they were entered;
+                <div class="member-body-short" id="short-body-toList">
+                    <p>The symbols in this scope in the order they were entered;
 inherited from outer ones first.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-toList">
+                    <p>The symbols in this scope in the order they were entered;
+inherited from outer ones first.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
     </div>
diff --git a/api/dotty/tools/dotc/core/Scopes$/ErrorScope.html b/api/dotty/tools/dotc/core/Scopes$/ErrorScope.html
index 5b0711e6d..d76f0f51a 100644
--- a/api/dotty/tools/dotc/core/Scopes$/ErrorScope.html
+++ b/api/dotty/tools/dotc/core/Scopes$/ErrorScope.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             
         </span>
@@ -5330,6 +5333,17 @@
         <span id="entity-name">
             ErrorScope
         </span>
+        
+        
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type">MutableScope</span>
+            
+        </div>
+        
     </div>
 
     
@@ -5339,12 +5353,41 @@
     </div>
     
 
-    <h1 class="section empty">Members</h1>
+    <h1 class="section ">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section ">
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">ErrorScope</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                owner:
+                            </span>
+                            Symbol
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section empty">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section empty">
         
         <div id="owner" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'owner');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5370,8 +5413,24 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-owner">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-owner">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
     </div>
diff --git a/api/dotty/tools/dotc/core/Scopes$/MutableScope$.html b/api/dotty/tools/dotc/core/Scopes$/MutableScope$.html
index 81811cbb3..1cc352e65 100644
--- a/api/dotty/tools/dotc/core/Scopes$/MutableScope$.html
+++ b/api/dotty/tools/dotc/core/Scopes$/MutableScope$.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             final
         </span>
@@ -5330,6 +5333,8 @@
         <span id="entity-name">
             MutableScope
         </span>
+        
+        
     </div>
 
     
@@ -5343,12 +5348,23 @@ SynchronizedScope as mixin.</p>
     </div>
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section empty">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section empty">
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="<init>$default$3" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '<init>$default$3');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5374,8 +5390,24 @@ SynchronizedScope as mixin.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-<init>$default$3">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-<init>$default$3">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
     </div>
diff --git a/api/dotty/tools/dotc/core/Scopes$/MutableScope.html b/api/dotty/tools/dotc/core/Scopes$/MutableScope.html
index a22049dae..e945c1b68 100644
--- a/api/dotty/tools/dotc/core/Scopes$/MutableScope.html
+++ b/api/dotty/tools/dotc/core/Scopes$/MutableScope.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             
         </span>
@@ -5330,6 +5333,17 @@
         <span id="entity-name">
             MutableScope
         </span>
+        
+        
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type">Scope</span>
+            
+        </div>
+        
     </div>
 
     
@@ -5343,12 +5357,105 @@ SynchronizedScope as mixin.</p>
     </div>
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section ">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section ">
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">MutableScope</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                initElems:
+                            </span>
+                            ScopeEntry
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                initSize:
+                            </span>
+                            Int
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                nestingLevel:
+                            </span>
+                            Int
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">MutableScope</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                base:
+                            </span>
+                            Scope
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">MutableScope</span>
+                    <span class="no-left">(</span>
+                        
+                        <span class="no-left keyword">implicit</span>
+                        
+                        
+                            <span class="no-left">
+                                ctx:
+                            </span>
+                            Context
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">MutableScope</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="_size" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_size');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5374,13 +5481,31 @@ SynchronizedScope as mixin.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The size of the scope</p>
+                <div class="member-body-short" id="short-body-_size">
+                    <p>The size of the scope</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-_size">
+                    <p>The size of the scope</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="elemsCache" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'elemsCache');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5401,18 +5526,39 @@ SynchronizedScope as mixin.</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Symbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>a cache for all elements, to be used by symbol iterator.</p>
+                <div class="member-body-short" id="short-body-elemsCache">
+                    <p>a cache for all elements, to be used by symbol iterator.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-elemsCache">
+                    <p>a cache for all elements, to be used by symbol iterator.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="hashTable" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'hashTable');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5433,18 +5579,39 @@ SynchronizedScope as mixin.</p>
                 
 
                 
-                <span class="no-left">: Array</span>
+                <span class="no-left">: Array
+<span class="no-left no-right">[</span>
+ScopeEntry
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>the hash table</p>
+                <div class="member-body-short" id="short-body-hashTable">
+                    <p>the hash table</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-hashTable">
+                    <p>the hash table</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="initElems" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'initElems');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5470,12 +5637,29 @@ SynchronizedScope as mixin.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-initElems">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-initElems">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="initSize" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'initSize');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5501,12 +5685,29 @@ SynchronizedScope as mixin.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-initSize">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-initSize">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lastEntry" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lastEntry');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5532,13 +5733,31 @@ SynchronizedScope as mixin.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The last scope-entry from which all others are reachable via <code>prev</code></p>
+                <div class="member-body-short" id="short-body-lastEntry">
+                    <p>The last scope-entry from which all others are reachable via <code>prev</code></p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lastEntry">
+                    <p>The last scope-entry from which all others are reachable via <code>prev</code></p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="nestingLevel" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nestingLevel');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5564,13 +5783,31 @@ SynchronizedScope as mixin.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The number of outer scopes from which symbols are inherited</p>
+                <div class="member-body-short" id="short-body-nestingLevel">
+                    <p>The number of outer scopes from which symbols are inherited</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-nestingLevel">
+                    <p>The number of outer scopes from which symbols are inherited</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="checkConsistent()(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'checkConsistent()(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5616,13 +5853,31 @@ SynchronizedScope as mixin.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Check that all symbols in this scope are in their correct hashtable buckets.</p>
+                <div class="member-body-short" id="short-body-checkConsistent()(ctx)">
+                    <p>Check that all symbols in this scope are in their correct hashtable buckets.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-checkConsistent()(ctx)">
+                    <p>Check that all symbols in this scope are in their correct hashtable buckets.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="cloneScope(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'cloneScope(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5663,13 +5918,31 @@ SynchronizedScope as mixin.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Clone scope, taking care not to force the denotations of any symbols in the scope.</p>
+                <div class="member-body-short" id="short-body-cloneScope(ctx)">
+                    <p>Clone scope, taking care not to force the denotations of any symbols in the scope.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-cloneScope(ctx)">
+                    <p>Clone scope, taking care not to force the denotations of any symbols in the scope.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="createHash(tableSize)(ctx)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'createHash(tableSize)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5721,12 +5994,29 @@ SynchronizedScope as mixin.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-createHash(tableSize)(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-createHash(tableSize)(ctx)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="elemsCache_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'elemsCache_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5768,13 +6058,31 @@ Symbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>a cache for all elements, to be used by symbol iterator.</p>
+                <div class="member-body-short" id="short-body-elemsCache_=(x$1)">
+                    <p>a cache for all elements, to be used by symbol iterator.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-elemsCache_=(x$1)">
+                    <p>a cache for all elements, to be used by symbol iterator.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="ensureCapacity(tableSize)(ctx)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'ensureCapacity(tableSize)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5826,12 +6134,29 @@ Symbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-ensureCapacity(tableSize)(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-ensureCapacity(tableSize)(ctx)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="enter(sym)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'enter(sym)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5883,13 +6208,31 @@ Symbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>enter a symbol in this scope.</p>
+                <div class="member-body-short" id="short-body-enter(sym)(ctx)">
+                    <p>enter a symbol in this scope.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-enter(sym)(ctx)">
+                    <p>enter a symbol in this scope.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="enterAllInHash(e,n)(ctx)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'enterAllInHash(e,n)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5949,12 +6292,29 @@ Symbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-enterAllInHash(e,n)(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-enterAllInHash(e,n)(ctx)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="enterAllInHash$default$2" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'enterAllInHash$default$2');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5980,12 +6340,29 @@ Symbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-enterAllInHash$default$2">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-enterAllInHash$default$2">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="enterInHash(e)(ctx)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'enterInHash(e)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6037,12 +6414,29 @@ Symbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-enterInHash(e)(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-enterInHash(e)(ctx)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="enterUnique(sym)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'enterUnique(sym)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6094,13 +6488,31 @@ Symbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>enter a symbol, asserting that no symbol with same name exists in scope</p>
+                <div class="member-body-short" id="short-body-enterUnique(sym)(ctx)">
+                    <p>enter a symbol, asserting that no symbol with same name exists in scope</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-enterUnique(sym)(ctx)">
+                    <p>enter a symbol, asserting that no symbol with same name exists in scope</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="filter(p)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'filter(p)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6134,17 +6546,37 @@ Symbol
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Symbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-filter(p)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-filter(p)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="foreach(p)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'foreach(p)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6183,12 +6615,29 @@ Symbol
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-foreach(p)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-foreach(p)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="hashTable_=(x$1)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'hashTable_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6230,13 +6679,31 @@ ScopeEntry
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>the hash table</p>
+                <div class="member-body-short" id="short-body-hashTable_=(x$1)">
+                    <p>the hash table</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-hashTable_=(x$1)">
+                    <p>the hash table</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="implicitDecls(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'implicitDecls(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6272,17 +6739,37 @@ ScopeEntry
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+TermRef
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-implicitDecls(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-implicitDecls(ctx)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lastEntry_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lastEntry_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6321,12 +6808,29 @@ ScopeEntry
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-lastEntry_=(x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-lastEntry_=(x$1)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lookupEntry(name)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lookupEntry(name)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6378,13 +6882,31 @@ ScopeEntry
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Lookup a symbol entry matching given name.</p>
+                <div class="member-body-short" id="short-body-lookupEntry(name)(ctx)">
+                    <p>Lookup a symbol entry matching given name.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lookupEntry(name)(ctx)">
+                    <p>Lookup a symbol entry matching given name.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lookupNextEntry(entry)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lookupNextEntry(entry)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6436,13 +6958,31 @@ ScopeEntry
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>lookup next entry with same name as this one</p>
+                <div class="member-body-short" id="short-body-lookupNextEntry(entry)(ctx)">
+                    <p>lookup next entry with same name as this one</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-lookupNextEntry(entry)(ctx)">
+                    <p>lookup next entry with same name as this one</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="newScopeEntry(name,sym)(ctx)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newScopeEntry(name,sym)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6502,13 +7042,31 @@ ScopeEntry
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>create and enter a scope entry with given name and symbol</p>
+                <div class="member-body-short" id="short-body-newScopeEntry(name,sym)(ctx)">
+                    <p>create and enter a scope entry with given name and symbol</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-newScopeEntry(name,sym)(ctx)">
+                    <p>create and enter a scope entry with given name and symbol</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="newScopeEntry(sym)(ctx)" class="member protected">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'newScopeEntry(sym)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6560,13 +7118,31 @@ ScopeEntry
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>create and enter a scope entry</p>
+                <div class="member-body-short" id="short-body-newScopeEntry(sym)(ctx)">
+                    <p>create and enter a scope entry</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-newScopeEntry(sym)(ctx)">
+                    <p>create and enter a scope entry</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="openForMutations" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'openForMutations');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6592,12 +7168,29 @@ ScopeEntry
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-openForMutations">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-openForMutations">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="replace(prev,replacement)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'replace(prev,replacement)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6657,13 +7250,31 @@ ScopeEntry
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Replace symbol <code>prev</code> (if it exists in current scope) by symbol <code>replacement</code>.</p>
+                <div class="member-body-short" id="short-body-replace(prev,replacement)(ctx)">
+                    <p>Replace symbol <code>prev</code> (if it exists in current scope) by symbol <code>replacement</code>.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-replace(prev,replacement)(ctx)">
+                    <p>Replace symbol <code>prev</code> (if it exists in current scope) by symbol <code>replacement</code>.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="size" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'size');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6689,14 +7300,33 @@ ScopeEntry
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The number of symbols in this scope (including inherited ones
+                <div class="member-body-short" id="short-body-size">
+                    <p>The number of symbols in this scope (including inherited ones
+from outer scopes).</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-size">
+                    <p>The number of symbols in this scope (including inherited ones
 from outer scopes).</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="size_=(x)" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'size_=(x)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6735,12 +7365,29 @@ from outer scopes).</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-size_=(x)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-size_=(x)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="sorted" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'sorted');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6761,18 +7408,39 @@ from outer scopes).</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Symbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Vanilla scope - symbols are stored in declaration order.</p>
+                <div class="member-body-short" id="short-body-sorted">
+                    <p>Vanilla scope - symbols are stored in declaration order.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-sorted">
+                    <p>Vanilla scope - symbols are stored in declaration order.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toList" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toList');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6793,19 +7461,41 @@ from outer scopes).</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Symbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Returns all symbols as a list in the order they were entered in this scope.
+                <div class="member-body-short" id="short-body-toList">
+                    <p>Returns all symbols as a list in the order they were entered in this scope.
 Does <em>not</em> include the elements of inherited scopes.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-toList">
+                    <p>Returns all symbols as a list in the order they were entered in this scope.
+Does <em>not</em> include the elements of inherited scopes.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="unlink(e)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'unlink(e)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6857,13 +7547,31 @@ Does <em>not</em> include the elements of inherited scopes.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Remove entry from this scope (which is required to be present)</p>
+                <div class="member-body-short" id="short-body-unlink(e)(ctx)">
+                    <p>Remove entry from this scope (which is required to be present)</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-unlink(e)(ctx)">
+                    <p>Remove entry from this scope (which is required to be present)</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="unlink(sym)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'unlink(sym)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6915,9 +7623,26 @@ Does <em>not</em> include the elements of inherited scopes.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>remove symbol from this scope if it is present</p>
+                <div class="member-body-short" id="short-body-unlink(sym)(ctx)">
+                    <p>remove symbol from this scope if it is present</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-unlink(sym)(ctx)">
+                    <p>remove symbol from this scope if it is present</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
     </div>
diff --git a/api/dotty/tools/dotc/core/Scopes$/Scope.html b/api/dotty/tools/dotc/core/Scopes$/Scope.html
index cb0f5e969..22ef1ac0a 100644
--- a/api/dotty/tools/dotc/core/Scopes$/Scope.html
+++ b/api/dotty/tools/dotc/core/Scopes$/Scope.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             abstract
         </span>
@@ -5330,6 +5333,27 @@
         <span id="entity-name">
             Scope
         </span>
+        
+        
+        <div id="super-types">
+            
+            
+            <span class="keyword">extends</span>
+            
+            <span class="entity-super-type">DotClass</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Showable</span>
+            
+            
+            <span class="keyword">with</span>
+            
+            <span class="entity-super-type">Iterable</span>
+            
+        </div>
+        
     </div>
 
     
@@ -5343,12 +5367,35 @@ MutableScope.</p>
     </div>
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section ">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section ">
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">Scope</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="checkConsistent()(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'checkConsistent()(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5394,12 +5441,29 @@ MutableScope.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-checkConsistent()(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-checkConsistent()(ctx)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="cloneScope(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'cloneScope(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5440,13 +5504,31 @@ MutableScope.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Returns a new mutable scope with the same content as this one.</p>
+                <div class="member-body-short" id="short-body-cloneScope(ctx)">
+                    <p>Returns a new mutable scope with the same content as this one.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-cloneScope(ctx)">
+                    <p>Returns a new mutable scope with the same content as this one.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="denotsNamed(name,select)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'denotsNamed(name,select)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5506,15 +5588,35 @@ MutableScope.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The denotation set of all the symbols with given name in this scope
+                <div class="member-body-short" id="short-body-denotsNamed(name,select)(ctx)">
+                    <p>The denotation set of all the symbols with given name in this scope
 Symbols occur in the result in reverse order relative to their occurrence
 in <code>this.to...</code></p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-denotsNamed(name,select)(ctx)">
+                    <p>The denotation set of all the symbols with given name in this scope
+Symbols occur in the result in reverse order relative to their occurrence
+in <code>this.toList</code>.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="denotsNamed$default$2" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'denotsNamed$default$2');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5535,20 +5637,40 @@ in <code>this.to...</code></p>
                 
 
                 
-                <span class="no-left">: </span>
+                <span class="no-left">: SymDenotation<span class="right-arrow"> =&gt; </span>Boolean</span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The denotation set of all the symbols with given name in this scope
+                <div class="member-body-short" id="short-body-denotsNamed$default$2">
+                    <p>The denotation set of all the symbols with given name in this scope
 Symbols occur in the result in reverse order relative to their occurrence
 in <code>this.to...</code></p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-denotsNamed$default$2">
+                    <p>The denotation set of all the symbols with given name in this scope
+Symbols occur in the result in reverse order relative to their occurrence
+in <code>this.toList</code>.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="filteredScope(p)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'filteredScope(p)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5600,15 +5722,35 @@ in <code>this.to...</code></p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The scope that keeps only those symbols from this scope that match the
+                <div class="member-body-short" id="short-body-filteredScope(p)(ctx)">
+                    <p>The scope that keeps only those symbols from this scope that match the
 given predicates. If all symbols match, returns the scope itself, otherwise
 a cop...</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-filteredScope(p)(ctx)">
+                    <p>The scope that keeps only those symbols from this scope that match the
+given predicates. If all symbols match, returns the scope itself, otherwise
+a copy with the matching symbols.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="implicitDecls(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'implicitDecls(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5644,17 +5786,37 @@ a cop...</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+TermRef
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-implicitDecls(ctx)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-implicitDecls(ctx)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="isEmpty" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'isEmpty');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5680,13 +5842,31 @@ a cop...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Is the scope empty?</p>
+                <div class="member-body-short" id="short-body-isEmpty">
+                    <p>Is the scope empty?</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-isEmpty">
+                    <p>Is the scope empty?</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="iterator" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'iterator');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5707,18 +5887,39 @@ a cop...</p>
                 
 
                 
-                <span class="no-left">: Iterator</span>
+                <span class="no-left">: Iterator
+<span class="no-left no-right">[</span>
+Symbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Return all symbols as an iterator in the order they were entered in this scope.</p>
+                <div class="member-body-short" id="short-body-iterator">
+                    <p>Return all symbols as an iterator in the order they were entered in this scope.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-iterator">
+                    <p>Return all symbols as an iterator in the order they were entered in this scope.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lastEntry" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lastEntry');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5744,13 +5945,31 @@ a cop...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The last scope-entry from which all others are reachable via <code>prev</code></p>
+                <div class="member-body-short" id="short-body-lastEntry">
+                    <p>The last scope-entry from which all others are reachable via <code>prev</code></p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lastEntry">
+                    <p>The last scope-entry from which all others are reachable via <code>prev</code></p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lookup(name)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lookup(name)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5802,13 +6021,31 @@ a cop...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Lookup a symbol</p>
+                <div class="member-body-short" id="short-body-lookup(name)(ctx)">
+                    <p>Lookup a symbol</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lookup(name)(ctx)">
+                    <p>Lookup a symbol</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lookupAll(name)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lookupAll(name)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5855,18 +6092,39 @@ a cop...</p>
                 
 
                 
-                <span class="no-left">: Iterator</span>
+                <span class="no-left">: Iterator
+<span class="no-left no-right">[</span>
+Symbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Returns an iterator yielding every symbol with given name in this scope.</p>
+                <div class="member-body-short" id="short-body-lookupAll(name)(ctx)">
+                    <p>Returns an iterator yielding every symbol with given name in this scope.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lookupAll(name)(ctx)">
+                    <p>Returns an iterator yielding every symbol with given name in this scope.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lookupEntry(name)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lookupEntry(name)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5918,13 +6176,31 @@ a cop...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Lookup a symbol entry matching given name.</p>
+                <div class="member-body-short" id="short-body-lookupEntry(name)(ctx)">
+                    <p>Lookup a symbol entry matching given name.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lookupEntry(name)(ctx)">
+                    <p>Lookup a symbol entry matching given name.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="lookupNextEntry(entry)(ctx)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'lookupNextEntry(entry)(ctx)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5976,13 +6252,31 @@ a cop...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>Lookup next entry with same name as this one</p>
+                <div class="member-body-short" id="short-body-lookupNextEntry(entry)(ctx)">
+                    <p>Lookup next entry with same name as this one</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-lookupNextEntry(entry)(ctx)">
+                    <p>Lookup next entry with same name as this one</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="nestingLevel" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'nestingLevel');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6008,13 +6302,31 @@ a cop...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The number of outer scopes from which symbols are inherited</p>
+                <div class="member-body-short" id="short-body-nestingLevel">
+                    <p>The number of outer scopes from which symbols are inherited</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-nestingLevel">
+                    <p>The number of outer scopes from which symbols are inherited</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="openForMutations" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'openForMutations');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6040,12 +6352,29 @@ a cop...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-openForMutations">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-openForMutations">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="size" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'size');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6071,14 +6400,33 @@ a cop...</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The number of symbols in this scope (including inherited ones
+                <div class="member-body-short" id="short-body-size">
+                    <p>The number of symbols in this scope (including inherited ones
+from outer scopes).</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-size">
+                    <p>The number of symbols in this scope (including inherited ones
 from outer scopes).</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toList" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toList');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6099,19 +6447,41 @@ from outer scopes).</p>
                 
 
                 
-                <span class="no-left">: List</span>
+                <span class="no-left">: List
+<span class="no-left no-right">[</span>
+Symbol
+<span class="no-left">]</span></span>
                 
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The symbols in this scope in the order they were entered;
+                <div class="member-body-short" id="short-body-toList">
+                    <p>The symbols in this scope in the order they were entered;
+inherited from outer ones first.</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-toList">
+                    <p>The symbols in this scope in the order they were entered;
 inherited from outer ones first.</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toText(printer)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toText(printer)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -6150,11 +6520,30 @@ inherited from outer ones first.</p>
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>The text representation of this showable element.
+                <div class="member-body-short" id="short-body-toText(printer)">
+                    <p>The text representation of this showable element.
 This normally dispatches to a pattern matching
 method in Printers.</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-toText(printer)">
+                    <p>The text representation of this showable element.
+This normally dispatches to a pattern matching
+method in Printers.</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
     </div>
diff --git a/api/dotty/tools/dotc/core/Scopes$/ScopeEntry.html b/api/dotty/tools/dotc/core/Scopes$/ScopeEntry.html
index afb71a563..5c61c96e4 100644
--- a/api/dotty/tools/dotc/core/Scopes$/ScopeEntry.html
+++ b/api/dotty/tools/dotc/core/Scopes$/ScopeEntry.html
@@ -5321,6 +5321,9 @@
 
 <div id="entity-container">
     <div id="entity-title">
+        <span id="entity-annotations">
+            
+        </span>
         <span id="entity-modifiers">
             
         </span>
@@ -5330,16 +5333,63 @@
         <span id="entity-name">
             ScopeEntry
         </span>
+        
+        
     </div>
 
     
 
-    <h1 class="section ">Members</h1>
+    <h1 class="section ">
+        Constructors
+    </h1>
+
+    <div id="entity-constructors" class="entity-section ">
+        
+            
+            <div class="member">
+                <div class="member-title">
+                    <span class="member-name">ScopeEntry</span>
+                    <span class="no-left">(</span>
+                        
+                        
+                            <span class="no-left">
+                                name:
+                            </span>
+                            Name
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                _sym:
+                            </span>
+                            Symbol
+                            
+                                <span class="no-left">, </span>
+                            
+                        
+                            <span class="">
+                                owner:
+                            </span>
+                            Scope
+                            
+                        
+                    <span class="no-left">)</span>
+                </div>
+            </div>
+            
+        
+    </div>
+
+    <h1 class="section ">
+        Members
+    </h1>
 
     <div id="entity-members" class="entity-section ">
         
         <div id="_sym" class="member private">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, '_sym');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5365,12 +5415,29 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-_sym">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-_sym">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="name" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'name');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5396,12 +5463,29 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-name">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-name">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="owner" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'owner');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5427,12 +5511,29 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-owner">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-owner">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="prev" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'prev');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5458,13 +5559,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>the preceding entry in this scope</p>
+                <div class="member-body-short" id="short-body-prev">
+                    <p>the preceding entry in this scope</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-prev">
+                    <p>the preceding entry in this scope</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="sym" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'sym');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5490,12 +5609,29 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-sym">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-sym">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="tail" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'tail');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5521,13 +5657,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>the next entry in the hash bucket</p>
+                <div class="member-body-short" id="short-body-tail">
+                    <p>the next entry in the hash bucket</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-tail">
+                    <p>the next entry in the hash bucket</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="prev_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'prev_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5566,13 +5720,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>the preceding entry in this scope</p>
+                <div class="member-body-short" id="short-body-prev_=(x$1)">
+                    <p>the preceding entry in this scope</p>
+
+                </div>
+                <div class="member-body-long" id ="long-body-prev_=(x$1)">
+                    <p>the preceding entry in this scope</p>
 
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="sym_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'sym_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5611,12 +5783,29 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-sym_=(x$1)">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-sym_=(x$1)">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="tail_=(x$1)" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'tail_=(x$1)');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5655,13 +5844,31 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                <p>the next entry in the hash bucket</p>
+                <div class="member-body-short" id="short-body-tail_=(x$1)">
+                    <p>the next entry in the hash bucket</p>
 
+                </div>
+                <div class="member-body-long" id ="long-body-tail_=(x$1)">
+                    <p>the next entry in the hash bucket</p>
+
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
         <div id="toString" class="member ">
             <div class="member-title">
+                <span class="expand-button" onclick="toggleMemberBody(this, 'toString');">[+]</span>
                 <span class="member-annotations">
                     
                 </span>
@@ -5687,8 +5894,24 @@
             </div><!-- end member-title -->
 
             <div class="member-body">
-                
+                <div class="member-body-short" id="short-body-toString">
+                    
+                </div>
+                <div class="member-body-long" id ="long-body-toString">
+                    
+                </div>
             </div>
+            <script>
+                function toggleMemberBody(span, sig) {
+                    var shortBody = document.getElementById("short-body-" + sig);
+                    var longBody = document.getElementById("long-body-" + sig);
+
+                    shortBody.classList.toggle("toggled")
+                    longBody.classList.toggle("toggled")
+
+                    span.innerHTML = (span.innerHTML == "[+]") ?  "[-]" : "[+]";
+                }
+            </script>
         </div><!-- end member -->
         
     </div>