Index: src/Parser/parser.yy
===================================================================
--- src/Parser/parser.yy	(revision 3181a339132d920a306895276392efb6ae6d2ba0)
+++ src/Parser/parser.yy	(revision aacd1e17bd7033c9616fd50316ce5c38575314dc)
@@ -10,6 +10,6 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Mar 13 09:23:21 2025
-// Update Count     : 7255
+// Last Modified On : Tue Apr  8 18:36:20 2025
+// Update Count     : 7259
 //
 
@@ -3118,10 +3118,5 @@
 type_parameter:											// CFA
 	type_class identifier_or_type_name
-		{
-			typedefTable.addToScope( *$2, TYPEDEFname, "type_parameter 1" );
-			if ( $1 == ast::TypeDecl::Otype ) { SemanticError( yylloc, "otype keyword is deprecated, use T " ); }
-			if ( $1 == ast::TypeDecl::Dtype ) { SemanticError( yylloc, "dtype keyword is deprecated, use T &" ); }
-			if ( $1 == ast::TypeDecl::Ttype ) { SemanticError( yylloc, "ttype keyword is deprecated, use T ..." ); }
-		}
+		{ typedefTable.addToScope( *$2, TYPEDEFname, "type_parameter 1" ); }
 	  type_initializer_opt assertion_list_opt
 		{ $$ = DeclarationNode::newTypeParam( $1, $2 )->addTypeInitializer( $4 )->addAssertions( $5 ); }
@@ -3161,11 +3156,11 @@
 type_class:												// CFA
 	OTYPE
-		{ $$ = ast::TypeDecl::Otype; }
+		{ SemanticError( yylloc, "otype keyword is deprecated, use T " ); }
 	| DTYPE
-		{ $$ = ast::TypeDecl::Dtype; }
+		{ SemanticError( yylloc, "dtype keyword is deprecated, use T &" ); }
 	| FTYPE
 		{ $$ = ast::TypeDecl::Ftype; }
 	| TTYPE
-		{ $$ = ast::TypeDecl::Ttype; }
+		{ SemanticError( yylloc, "ttype keyword is deprecated, use T ..." ); }
 	;
 
@@ -3236,5 +3231,5 @@
 			$$ = DeclarationNode::newTrait( $2, $4, nullptr );
 		}
-	| forall TRAIT identifier_or_type_name '{' '}'		// alternate
+	| forall TRAIT identifier_or_type_name '{' '}'		// new alternate
 		{ $$ = DeclarationNode::newTrait( $3, $1, nullptr ); }
 	| TRAIT identifier_or_type_name '(' type_parameter_list ')' '{' trait_declaration_list '}'