Update aliases.md

docs/cpp2/aliases.md

@@ -1,6 +1,6 @@
 # Aliases
 
-Aliases are pronounced **"synonym for**, and written using the same **name `:` kind `=` value** [declaration syntax](../cpp2/declarations.md) as everything in Cpp2:
+Aliases are pronounced **"synonym for"**, and written using the same **name `:` kind `=` value** [declaration syntax](../cpp2/declarations.md) as everything in Cpp2:
 
 - **name** is declared to be a synonym for **value**.
 
@@ -37,7 +37,7 @@ main: () = {
 
 ## <a id="type-aliases"></a> Type aliases
 
-A namespace alias is written the same way as a [type](types.md), but using `==` and with the name of another type as its value. For example:
+A type alias is written the same way as a [type](types.md), but using `==` and with the name of another type as its value. For example:
 
 ``` cpp title="Type aliases" hl_lines="1 2 7 10"
 //  'imap<T>' is a type defined as a synonym for 'std::map<i32, T>'
@@ -49,7 +49,7 @@ main: () = {
     map2: imap<std::string> = ();
 
     //  Assertion they are the same type, using the same_as concept
-    assert( std::same_as< decltype(map1), decltype(map2) > );
+    static_assert( std::same_as< decltype(map1), decltype(map2) > );
 }
 ```
 
@@ -67,7 +67,7 @@ main: () = {
     ints: std::array<i32, square(4)> = ();
 
     //  Assertion that the size is the square of 4
-    assert( ints.size() == 16 );
+    static_assert( ints.size() == 16 );
 
     //  And if can be used at run time, with run time values
     std::cout << "the square of 4 is (square(4))$\n";
@@ -89,7 +89,7 @@ BufferSize: i32 == 1'000'000;
 
 main: () = {
     buf: std::array<std::byte, BufferSize> = ();
-    assert( buf.size() == BufferSize );
+    static_assert( buf.size() == BufferSize );
 }
 ```