remove unused constructors TVI_AType, TVI_Reify, TVI_Kinds, TVI_Kind and TVI_ConsInstance

frontend/syntax.dcl

@@ -1148,13 +1148,8 @@ cNotVarNumber :== -1
 					| TVI_SignClass !Index !SignClassification !TypeVarInfo | TVI_PropClass !Index !PropClassification !TypeVarInfo
 					| TVI_AttrAndRefCount !TypeAttribute !Int
 					| TVI_CorrespondenceNumber !Int /* auxiliary used in module comparedefimp */
-					| TVI_AType !AType /* auxiliary used in module comparedefimp */
-					| TVI_Reify !Int
 					| TVI_Used /* to administer that this variable is encountered (in checkOpenTypes) */
 					| TVI_TypeCode !TypeCodeExpression
-					| TVI_Kinds ![TypeKind] // AA: used to collect kinds during checking 
-					| TVI_Kind !TypeKind
-					| TVI_ConsInstance !DefinedSymbol //AA: generic cons instance function 
 					| TVI_Normalized !Int /* MV - position of type variable in its definition */
 					| TVI_GenTypeVarNumber !Int
 					| TVI_TypeVarArgN !Int // type argument number in module backendconvert

frontend/syntax.icl

@@ -822,13 +822,10 @@ where
 	(<<<) file (TVI_SignClass _ _ _) 	= file <<< "TVI_SignClass"
 	(<<<) file (TVI_AttrAndRefCount ta rc) 	= file <<< "TVI_AttrAndRefCount " <<< ta <<< " " <<< rc
 	(<<<) file (TVI_CorrespondenceNumber n) = file <<< "TVI_CorrespondenceNumber " <<< n
-	(<<<) file (TVI_AType at) 			= file <<< "TVI_AType " <<< at
 	(<<<) file TVI_Used					= file <<< "TVI_Used"
 	(<<<) file (TVI_TypeCode	_)		= file <<< "TVI_TypeCode"
-	(<<<) file (TVI_Kinds _)		= file <<< "TVI_Kinds"
 	(<<<) file (TVI_PropClass _ _ _) 	= file <<< "TVI_PropClass"
 	(<<<) file (TVI_TypeKind kind_info_ptr) = file <<< "TVI_TypeKind " <<< (ptrToInt kind_info_ptr)
-	(<<<) file (TVI_Kind kind) 			= file <<< "TVI_Kind" <<< kind
 
 instance <<< AttrVarInfo
 where