6 files changed, 37 insertions, 4 deletions
diff --git a/docs/type_system/alias.md b/docs/type_system/alias.md
index 02dca3a..d6acd56 100644
--- a/docs/type_system/alias.md
+++ b/docs/type_system/alias.md
@@ -3,5 +3,3 @@
 ---
 
 A type based on a complete template that is interchangeable with what it is based on
-
-## Defined Alias
diff --git a/docs/type_system/enum.md b/docs/type_system/enum.md
index 9e6be9b..9138286 100644
--- a/docs/type_system/enum.md
+++ b/docs/type_system/enum.md
@@ -2,7 +2,7 @@
 
 ---
 
-Unique symbols associated with a type that can map to an underlying type
+Unique symbols associated with a type
 
 ```text
 Enum[.name; ...] // Resoves to Enum[Void; ...]
diff --git a/docs/type_system/float.md b/docs/type_system/float.md
new file mode 100644
index 0000000..d0752d0
--- /dev/null
+++ b/docs/type_system/float.md
@@ -0,0 +1,12 @@
+# Float
+
+---
+
+```text
+Float_bit_size : `alias Enum[.bit32; .bit64]
+
+Float[Float_bit_size]
+
+F32 : `alias Float[.bit32]
+F64 : `alias Float[.bit64]
+```
diff --git a/docs/type_system/index.md b/docs/type_system/index.md
index 430792b..c0c2647 100644
--- a/docs/type_system/index.md
+++ b/docs/type_system/index.md
@@ -21,6 +21,8 @@ Denotes that a field that does not resolve to anything
 ## Value Templates
 
 * #### [Enum](./enum.md)
+* #### [Int](./int.md)
+* #### [Float](./float.md)
 
 ## Container Templates
 
diff --git a/docs/type_system/int.md b/docs/type_system/int.md
new file mode 100644
index 0000000..5986c3b
--- /dev/null
+++ b/docs/type_system/int.md
@@ -0,0 +1,21 @@
+# Int
+
+---
+
+```text
+Int_bit_size : `alias Enum[.bit8; .bit16; .bit32; .bit64]
+
+Int_signedness : `alias Enum[.signed; .unsigned]
+
+Int[Int_bit_size; Int_signedness]
+
+I8 : `alias Int[.bit8; .signed]
+I16 : `alias Int[.bit16; .signed]
+I32 : `alias Int[.bit32; .signed]
+I64 : `alias Int[.bit64; .signed]
+
+U8 : `alias Int[.bit8; .unsigned]
+U16 : `alias Int[.bit16; .unsigned]
+U32 : `alias Int[.bit32; .unsigned]
+U64 : `alias Int[.bit64; .unsigned]
+```
diff --git a/docs/type_system/unique.md b/docs/type_system/unique.md
index 0254934..4503917 100644
--- a/docs/type_system/unique.md
+++ b/docs/type_system/unique.md
@@ -2,4 +2,4 @@
 
 ---
 
-A type based on a complete template that is not interchangeable with what it is based on
+A type based on a complete template or an alias that is not interchangeable with what it is based on