Index: src/SymTab/Autogen.cc
===================================================================
--- src/SymTab/Autogen.cc	(revision f53836b5d2767eb2da24bdd19448b3d472465e9f)
+++ src/SymTab/Autogen.cc	(revision f9941ff08adf6cc1d6d77e61ea910cc9f82ecbce)
@@ -696,5 +696,5 @@
 			if ( TypeInstType * ty = dynamic_cast< TypeInstType * >( t ) ) {
 				if ( ! done.count( ty->get_baseType() ) ) {
-					TypeDecl * newDecl = new TypeDecl( ty->get_baseType()->get_name(), Type::StorageClasses(), nullptr, TypeDecl::Any );
+					TypeDecl * newDecl = new TypeDecl( ty->get_baseType()->get_name(), Type::StorageClasses(), nullptr, TypeDecl::Dtype, true );
 					TypeInstType * inst = new TypeInstType( Type::Qualifiers(), newDecl->get_name(), newDecl );
 					newDecl->get_assertions().push_back( new FunctionDecl( "?=?", Type::StorageClasses(), LinkageSpec::Cforall, genAssignType( inst ), nullptr,
Index: src/SymTab/Mangler.cc
===================================================================
--- src/SymTab/Mangler.cc	(revision f53836b5d2767eb2da24bdd19448b3d472465e9f)
+++ src/SymTab/Mangler.cc	(revision f9941ff08adf6cc1d6d77e61ea910cc9f82ecbce)
@@ -214,7 +214,4 @@
 			numStream << varNum->second.first;
 			switch ( (TypeDecl::Kind )varNum->second.second ) {
-			  case TypeDecl::Any:
-				mangleName << "t";
-				break;
 			  case TypeDecl::Dtype:
 				mangleName << "d";
@@ -274,7 +271,4 @@
 			for ( Type::ForallList::iterator i = type->forall.begin(); i != type->forall.end(); ++i ) {
 				switch ( (*i)->get_kind() ) {
-				  case TypeDecl::Any:
-					tcount++;
-					break;
 				  case TypeDecl::Dtype:
 					dcount++;