Reorganize and simplify docs structure

Author: Kirill Nesmeyanov

Writerside/tl.tree

@@ -3,9 +3,7 @@
         SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd">
 
 <instance-profile id="tl" name="PHP TypeLang" is-library="true" start-page="overview.topic">
-    <toc-element topic="overview.topic" />
-
-    <toc-element topic="language.md" toc-title="Syntax">
+    <toc-element topic="overview.topic">
         <toc-element topic="basic-types.md"/>
         <toc-element topic="logical-types.md"/>
         <toc-element topic="generic-types.md" toc-title="Generics"/>
@@ -14,6 +12,7 @@
         <toc-element topic="shape-types.md" toc-title="Shapes"/>
         <toc-element topic="callable-types.md" toc-title="Callables"/>
         <toc-element topic="conditional-types.md" toc-title="Conditions"/>
+        <toc-element topic="comparison.md"/>
     </toc-element>
 
     <toc-element topic="parser.md" toc-title="Parser">

Writerside/topics/language.md renamed to Writerside/topics/language/comparison.md

@@ -13,11 +13,11 @@
         </description>
 
         <spotlight>
-            <a href="language.md" type="container"
-                summary="Language for describing more precise and strict PHP types.">Language</a>
+            <a href="basic-types.md" type="container"
+               summary="Language for describing more precise and strict PHP types.">Language</a>
             <a href="parser.md" type="mixed"
                 summary="Reference implementation of a TypeLang parser providing functionality
-                    for analysis, recognition and construction of AST.">Parser</a>
+                    for analysis, recognition and construction of AST.">Reference Parser Implementation</a>
         </spotlight>
 
         <primary>