fix test for predefined module index in write_type_info,

requires new linkers

frontend/convertDynamics.icl

@@ -45,11 +45,9 @@ fatal function_name message
 
 write_tcl_file main_dcl_module_n dcl_mods=:{[main_dcl_module_n] = main_dcl_module} icl_common_defs tcl_file directly_imported_dcl_modules type_heaps 
 			   predefined_symbols imported_types var_heap common_defs icl_mod
-	# (pre_mod, predefined_symbols) = predefined_symbols![PD_PredefinedModule]
 	# write_type_info_state2
 		= { WriteTypeInfoState |
 			wtis_n_type_vars				= 0
-		,	wtis_predefined_module_def		= pre_mod.pds_module
 		,	wtis_common_defs				= common_defs
 		,	wtis_type_defs					= imported_types
 	  	, 	wtis_collected_conses			= []

frontend/type_io.dcl

@@ -14,7 +14,6 @@ import trans
 :: WriteTypeInfoState
 	= { 
 		wtis_n_type_vars						:: !Int
-	,	wtis_predefined_module_def				:: !Index
 	,	wtis_common_defs						:: !{#CommonDefs}	
 	,	wtis_type_defs							:: !.{#{#CheckedTypeDef}}
 	,	wtis_collected_conses					:: !ImportedConstructors

frontend/type_io.icl

@@ -27,7 +27,6 @@ F a b :== b;
 :: WriteTypeInfoState
 	= { 
 		wtis_n_type_vars						:: !Int
-	,	wtis_predefined_module_def				:: !Index
 	,	wtis_common_defs						:: !{#CommonDefs}	
 	,	wtis_type_defs							:: !.{#{#CheckedTypeDef}}
 	,	wtis_collected_conses					:: !ImportedConstructors
@@ -397,9 +396,8 @@ where
 
 instance WriteTypeInfo TypeSymbIdent
 where
-	write_type_info tsi=:{type_ident,type_arity,type_index={glob_module,glob_object}} tcl_file wtis=:{wtis_predefined_module_def}
-		# is_type_without_definition
-			= glob_module == wtis_predefined_module_def
+	write_type_info tsi=:{type_ident,type_arity,type_index={glob_module,glob_object}} tcl_file wtis
+		# is_type_without_definition = glob_module == cPredefinedModuleIndex
 		# tcl_file
 			= fwritec (if is_type_without_definition TypeSymbIdentWithoutDefinition TypeSymbIdentWithDefinition) tcl_file