docs: rename Type System to Types

Author: BrianSeong99

docs/builder/smart-contracts/rust/api-reference.md

@@ -108,7 +108,7 @@ bindings::export!(MyNote);
 
 ---
 
-## Types → [Type System](./types)
+## Types → [Types](./types)
 
 ### `Felt`
 

docs/builder/smart-contracts/rust/overview.md

@@ -155,7 +155,7 @@ Miden supports several account types, configured in `Cargo.toml`:
 | Building Block | Description | Details |
 |----------------|-------------|---------|
 | [Components](./accounts/components) | Reusable code modules with storage and WIT interfaces | `#[component]` macro |
-| [Type System](./types) | Felt, Word, Asset — the VM's native types | Field arithmetic |
+| [Types](./types) | Felt, Word, Asset — the VM's native types | Field arithmetic |
 | [Storage](./accounts/storage) | Up to 255 slots of Value or StorageMap | Persistent state |
 | [Custom Types](./accounts/custom-types) | Exported structs/enums for public APIs | `#[export_type]` |
 | [Account Operations](./accounts/account-operations) | Read/write account state and vault | `active_account`, `native_account` |

docs/builder/smart-contracts/rust/types.md

@@ -1,10 +1,10 @@
 ---
-title: "Type System"
+title: "Types"
 sidebar_position: 3
 description: "Felt field arithmetic, Word layout, Asset encoding, and type conversions in the Miden Rust SDK."
 ---
 
-# Type System
+# Types
 
 Miden's type system is built around field elements rather than standard integers. All computation inside the Miden VM is modular arithmetic over the Goldilocks prime field ($p = 2^{64} - 2^{32} + 1$), so overflow and division behave differently from standard integers. `Felt` is the native numeric type, `Word` is a tuple of four Felts used for [storage](./accounts/storage) and hashing, and `Asset` encodes fungible and non-fungible assets as Words.