keep consistent for primitive types

Author: junnplus

src/types.md

@@ -12,8 +12,8 @@ limited capabilities.
 The list of types is:
 
 * Primitive types:
-    * [Boolean] — `true` or `false`
-    * [Numeric] — integer and float
+    * [Boolean] — `bool`
+    * [Numeric] — `integer` and `float`
     * [Textual] — `char` and `str`
     * [Never] — `!` — a type with no values
 * Sequence types: