Rephrase and link pure input arguments of the transaction

book/src/concepts/what-is-a-transaction.md

@@ -34,14 +34,14 @@ Transactions consist of:
 Transaction inputs are the arguments for the transaction and are split between 2 types:
 - Pure arguments: These are mostly [primitive types](../move-basics/primitive-types.html) with some
 extra additions. A pure argument can be:
-    - boolean
-    - integer (u8, u16, u32, u64, u128, u256)
-    - address
-    - std::ascii::String
-    - std::string::String
-    - vector of pure types
-    - Option of pure types
-    - ID, a special type that refers to a unique identifier of an object
+    - [`bool`](../move-basics/primitive-types.html#booleans).
+    - [integer](../move-basics/primitive-types.html#integers) (`u8`, `u16`, `u32`, `u64`, `u128`, `u256`).
+    - [`address`](../move-basics/address.html).
+    - [`std::string::String`](../move-basics/string.html), UTF8 strings.
+    - [`std::ascii::String`](../move-basics/string.html#ascii-strings), ASCII strings.
+    - [`vector<T>`](../move-basics/vector.html), where `T` is a pure type.
+    - [`std::option::Option<T>`](../move-basics/option.html), where `T` is a pure type.
+    - [`std::object::ID`](../storage/uid-and-id.html), takes part in the Unique IDentifier (UID) of an object. See also [What is an Object](../object/object-model.html).
 - Object arguments: These are objects or references of objects that the transaction will access. An
 object argument needs to be either a shared object, a frozen object, or an object that the
 transaction sender owns, in order for the transaction to be successfull.