remove unused cons_arg_vars and cons_index in .tcl file

frontend/type_io.icl

@@ -59,25 +59,18 @@ where
 	
 instance WriteTypeInfo ConsDef
 where 
-	write_type_info {cons_ident,cons_type,cons_priority,cons_number,cons_type_index,cons_exi_vars} tcl_file wtis=:{wtis_n_type_vars}
+	write_type_info {cons_ident,cons_type,cons_type_index,cons_exi_vars} tcl_file wtis=:{wtis_n_type_vars}
  		// normalize ...
  		# (th_vars,wtis)
  			= sel_type_var_heap wtis
  		# (_,(_,th_vars))
  			= mapSt normalize_type_var cons_exi_vars (wtis_n_type_vars,th_vars)
-  		# wtis
- 			= { wtis & wtis_type_heaps.th_vars = th_vars }
+  		# wtis = { wtis & wtis_type_heaps.th_vars = th_vars }
  		// ... normalize
-
 		# (tcl_file,wtis)
 			= write_type_info cons_ident tcl_file wtis
 		# (tcl_file,wtis)
-			= write_type_info cons_type tcl_file wtis
-		
-		# tcl_file = fwritei 0 tcl_file // was cons_arg_vars, not used, write 0 for []
-		# (tcl_file,wtis)
-			= write_type_info cons_number tcl_file wtis
-						
+			= write_type_info cons_type tcl_file wtis						
 		# (tcl_file,wtis)
 			= write_type_info cons_type_index tcl_file wtis
 		# (tcl_file,wtis)