A10: Nodes<Defn>  1:1-3:19  A1: TypDefn t  1:1-1:16  A0: NameType id  1:9-1:16  A6: TypDefn t2  2:1-2:20  A5: StrType  2:10-2:20  A4: Nodes<CompDefn>  2:11-2:19  A3: CompDefn id  2:11-2:19  A2: AtomType INT  2:15-2:19  A9: TypDefn t3  3:1-3:19  A8: UniType  3:10-3:19  A7: Nodes<CompDefn>