A14: Nodes<Defn>  1:1-4:25  A1: TypDefn id  1:1-1:13  A0: AtomType CHAR  1:10-1:13  A3: TypDefn t  2:1-2:16  A2: NameType id  2:9-2:16 defAt: A1 @ 1:1-1:13  A8: TypDefn t2  3:1-3:20  A7: StrType  3:10-3:20  A6: Nodes<CompDefn>  3:11-3:19  A5: CompDefn id  3:11-3:19  A4: AtomType INT  3:15-3:19  A13: TypDefn t3  4:1-4:25  A12: UniType  4:10-4:25  A11: Nodes<CompDefn>  4:15-4:20  A10: CompDefn a  4:15-4:20  A9: AtomType INT  4:18-4:20