Index: doc/proposals/associated_types.md
===================================================================
--- doc/proposals/associated_types.md	(revision 74e58ea3d865e77e135912a975f9e81b738c9b6b)
+++ doc/proposals/associated_types.md	(revision f7b9faf66a30f3f2c7b8fe556bdce67182aea11c)
@@ -50,9 +50,9 @@
 ### Nominal Inheritance ###
 
-This trait specialization syntax could also be used, with a new type of type assertion, to provide nominal inheritance of traits, e.g:
+This trait specialization syntax could also be used, with a new annotation on the traits, to provide nominal inheritance of traits, e.g:
 
-	trait random_access_iterator(otype I | forward_iterator(I)) {
-		nominal; // not sure what the keyword is here, could maybe overload auto or extern
-	};
+	extern trait random_access_iterator(otype I | forward_iterator(I)) {};
 
 	forall(otype T) random_access_iterator(vector_iter(T)) {};
+
+I used `extern` here to not add a new keyword, I think it fits the idea of "the definition is somewhere else" of the existing meaning of `extern`. Other options include a zero-arg pseudo-trait `nominal()` that could go in the trait's constraint list.