feat: big update, Language→Reference

pages/_meta.js

@@ -15,8 +15,8 @@ export default {
     title: "Cookbook",
     type: 'page',
   },
-  language: {
-    title: "Language",
+  ref: {
+    title: "Reference",
     type: 'page',
   },
   ecosystem: {

pages/book/import.mdx

@@ -4,7 +4,7 @@ import { Callout } from 'nextra-theme-docs'
 
 Tact allows you to import Tact and [FunC](https://docs.ton.org/develop/func/overview) code — any given `.tact` or `.fc`/`.func` file can be imported into your project using an `import{:tact}` keyword.
 
-Additionally, Tact compiler has a versatile set of standard libraries, which come bundled in, but not included right away, see [Language→Libs→Overview](/language/libs/overview).
+Additionally, Tact compiler has a versatile set of standard libraries, which come bundled in, but not included right away, see [Standard libraries overview](/ref/standard-libraries).
 
 <Callout type="warning" emoji="⚠️">
   NOTE: All imported code is combined together with yours, so it's important to avoid name collisions and always double-check the sources!
@@ -36,7 +36,7 @@ import "./relative/path/to/the/target/func/file.fc";
 import "../subfolder/imported/func/file.fc";
 ```
 
-But in order to use functions from such file, one has to declare them as `native` functions first. For example, when standard library [@stdlib/dns](/language/libs/dns) uses a `dns.fc` FunC file, it maps FunC functions to Tact ones like so:
+But in order to use functions from such file, one has to declare them as `native` functions first. For example, when standard library [@stdlib/dns](/ref/stdlib-dns) uses a `dns.fc` FunC file, it maps FunC functions to Tact ones like so:
 
 ```tact
 // FunC code located in a file right next to the current Tact one:
@@ -49,4 +49,4 @@ native dnsStringToInternal(str: String): Slice?;
 
 ## Standard libraries
 
-See [Language→Libs→Overview](/language/libs/overview).
+See [Standard libraries overview](/ref/standard-libraries).

pages/book/index.mdx

@@ -1,10 +1,10 @@
-# Book Overview
+# Book overview
 
 import { Cards, Steps } from 'nextra/components'
 
 Welcome to **The Tact Book** section (or just **The Book**), — an introductory book about the Tact language.
 
-Here are it's main contents:
+Here are its main contents:
 
 <Steps>
 

pages/book/integers.mdx

@@ -46,7 +46,7 @@ Use underscores (`_`) to improve readability: $\mathrm{0b111\_111\_111}$ is equa
 
 For example, arithmetic with dollars requires two decimal places after the dot — those are used for the cents value. But how would we represent the number \$$1.25$ if we're only able to work with integers? The solution is to work with _cents_ directly. This way, \$$1.25$ becomes $125$ cents. We simply memorize that the two rightmost digits represent the numbers after the decimal point.
 
-Similarly, working with Toncoins requires nine decimal places instead of the two. Therefore, the amount of $1.25$ TON, which can be represented in Tact as [`ton("1.25"){:tact}`](/language/ref/common#ton), is actually the number $1250000000$. We refer to such numbers as _nano-tons_ (or _nanoToncoins_) rather than _cents_.
+Similarly, working with Toncoins requires nine decimal places instead of the two. Therefore, the amount of $1.25$ TON, which can be represented in Tact as [`ton("1.25"){:tact}`](/ref/api-comptime#ton), is actually the number $1250000000$. We refer to such numbers as _nano-tons_ (or _nanoToncoins_) rather than _cents_.
 
 ## Serialization
 

pages/book/types.mdx

@@ -140,7 +140,7 @@ Tact doesn't support classical class inheritance, but instead introduces the con
 
 A trait can also let the contract inheriting it to override the behavior of its [functions](/book/functions#virtual-and-abstract-functions) and the value of its [constants](/book/constants#virtual-and-abstract-constants).
 
-Example of a trait [`Ownable`](/language/libs/ownable#ownable) from [`@stdlib/ownable`](/language/libs/ownable):
+Example of a trait [`Ownable{:tact}`](/ref/stdlib-ownable#ownable) from [`@stdlib/ownable`](/ref/stdlib-ownable):
 
 ```tact
 trait Ownable {
@@ -159,7 +159,7 @@ trait Ownable {
 }
 ```
 
-And the [contract](#contracts) that uses trait [`Ownable`](/language/libs/ownable#ownable):
+And the [contract](#contracts) that uses trait [`Ownable{:tact}`](/ref/stdlib-ownable#ownable):
 
 ```tact
 contract Treasure with Ownable {

pages/cookbook/index.mdx

@@ -1,4 +1,4 @@
-# Cookbook Overview
+# Cookbook overview
 
 import { Callout, Steps, Cards } from 'nextra/components'
 import { OneIcon, FormulaIcon, DiagramIcon, DropperIcon, BoxIcon, IdCardIcon, WarningIcon, StarsIcon, RowsIcon, GearIcon, LightningIcon } from '@components/icons'

pages/cookbook/misc.mdx

@@ -26,7 +26,7 @@ nativeThrowUnless(39, number == 198);
 <Callout>
 
   **Useful links:**\
-  [`throw(){:tact}` in Language→Reference](/language/ref/advanced#throw)\
+  [`throw(){:tact}` in Core library](/ref/core-debug#throw)\
   [Errors in Tact-By-Example](https://tact-by-example.org/03-errors)
 
 </Callout>

pages/cookbook/random.mdx

@@ -20,8 +20,8 @@ number = random(1, 12);
 <Callout>
 
   **Useful links:**\
-  [`randomInt(){:tact}` in Language→Reference](/language/ref/random#randomInt)\
-  [`random(){:tact}` in Language→Reference](/language/ref/random#random)
+  [`randomInt(){:tact}` in Core library](/ref/core-random#randomInt)\
+  [`random(){:tact}` in Core library](/ref/core-random#random)
 
 </Callout>
 

pages/cookbook/single-communication.mdx

@@ -91,7 +91,7 @@ send(SendParameters{
   ["Sending messages" in the Book](/book/send#send-message)\
   ["Message `mode`" in the Book](/book/message-mode)
   [`StringBuilder{:tact}` in the Book](/book/types#primitive-types)\
-  [`Cell{:tact}` in Language→Reference](/language/ref/cells)
+  [`Cell{:tact}` in Core library](/ref/core-cells)
 
 </Callout>
 

pages/cookbook/time.mdx

@@ -19,7 +19,7 @@ if (currentTime > 1672080143) {
 <Callout>
 
   **Useful links:**\
-  [`now(){:tact}` in Language→Reference](/language/ref/common#now)\
+  [`now(){:tact}` in Core library](/ref/core-common#now)\
   ["Current Time" in Tact-By-Example](https://tact-by-example.org/04-current-time)
 
 </Callout>

pages/cookbook/type-conversion.mdx

@@ -60,9 +60,9 @@ dump(coinsString);  // "0.261119911"
 <Callout>
 
   **Useful links:**\
-  [`Int.toString(){:tact}` in Language→Reference](/language/ref/strings#inttostring)\
-  [`Int.toFloatString(){:tact}` in Language→Reference](/language/ref/strings#inttofloatstring)\
-  [`Int.toCoinsString(){:tact}` in Language→Reference](/language/ref/strings#inttocoinsstring)
+  [`Int.toString(){:tact}` in Core library](/ref/core-strings#inttostring)\
+  [`Int.toFloatString(){:tact}` in Core library](/ref/core-strings#inttofloatstring)\
+  [`Int.toCoinsString(){:tact}` in Core library](/ref/core-strings#inttocoinsstring)
 
 </Callout>
 

pages/ecosystem/index.mdx

@@ -1,10 +1,10 @@
-# Overview
+# Ecosystem overview
 
 import { Cards, Steps } from 'nextra/components'
 
 Welcome to the **Ecosystem** section — a bird-eye overview of Tact ecosystem, tools and ways you can start contributing to those!
 
-Here are it's main contents:
+Here are its main contents:
 
 <Steps>
 
@@ -20,4 +20,4 @@ Here are it's main contents:
   />
 </Cards>
 
-</Steps>
+</Steps>

pages/index.mdx

@@ -109,7 +109,7 @@ For custom plugins for your favorite editor and other tooling see the [Tools](/e
 Alternatively, take a look at the following broader sections:
 * [Book](/book) helps you learn the language step-by-step
 * [Cookbook](/cookbook) gives you ready-made recipes of Tact code
-* [Language](/language) provides a complete reference of the standard library, grammar and evolution process
+* [Reference](/ref) provides a complete glossary of the standard library, grammar and evolution process
 * Finally, [Ecosystem](/ecosystem) describes "what's out there" in the Tacts' and TONs' ecosystems
 
 <Cards>
@@ -120,13 +120,13 @@ Alternatively, take a look at the following broader sections:
   />
   <Cards.Card
     icon="🍲 "
-    title="Examine the Cookbook"
+    title="Grind the Cookbook"
     href="/cookbook"
   />
   <Cards.Card
     icon="🔬 "
-    title="Study the Language"
-    href="/language"
+    title="Skim the Reference"
+    href="/ref"
   />
   <Cards.Card
     icon="🗺️ "