Add support for attribute access in type annotations

trans/transpiler/phases/typing/annotations.py

+import abc
 import ast
 from dataclasses import dataclass, field
 from typing import Optional, List
@@ -52,3 +53,10 @@ class TypeAnnotationVisitor(NodeVisitorSeq):
 
     def visit_List(self, node: ast.List) -> List[BaseType]:
         return [self.visit(elt) for elt in node.elts]
+
+    def visit_Attribute(self, node: ast.Attribute) -> BaseType:
+        left = self.visit(node.value)
+        res = left.members[node.attr]
+        assert isinstance(res, TypeType)
+        return res.type_object
+        raise NotImplementedError(ast.unparse(node))