diff --git a/standard/types.md b/standard/types.md
index 41b88c0b5..e6746941f 100644
--- a/standard/types.md
+++ b/standard/types.md
@@ -6,10 +6,11 @@ The types of the C# language are divided into two main categories: ***reference
 
 ```ANTLR
 type
-    : reference_type
-    | value_type
+    : value_type
+    | reference_type
+    | nullable_type_parameter
     | type_parameter
-    | pointer_type     // unsafe code support
+    | type_unsafe
     ;
 ```
 
@@ -597,10 +598,11 @@ Since type parameters are not inherited, constraints are never inherited either.
 
 A type parameter is an identifier designating a value type or reference type that the parameter is bound to at run-time.
 
+type_parameter, nullable_type_parameter, non_nullable_non_value_type_parameter
+
 ```ANTLR
 type_parameter
     : identifier
-    ;
 
 nullable_type_parameter
     : non_nullable_non_value_type_parameter '?'