Remove TypeType and ValueType.

These types appear to have been used by the mangling implementation
which has been removed, so they no longer appear to be needed.

Author: sunfishcode

design/mvp/canonical-abi/definitions.py

@@ -98,20 +98,6 @@ def extract_types(self, vec):
       return vec
     return [t for name,t in vec]
 
-@dataclass
-class ValueType(ExternType):
-  t: ValType
-
-class Bounds: pass
-
-@dataclass
-class Eq(Bounds):
-  t: Type
-
-@dataclass
-class TypeType(ExternType):
-  bounds: Bounds
-
 @dataclass
 class PrimValType(ValType):
   pass