A7: Nodes<Defn>  2:1-2:34  A6: TypDefn list  2:1-2:34  A5: StrType  2:12-2:34  A4: Nodes<CompDefn>  2:13-2:33  A1: CompDefn first  2:13-2:22  A0: AtomType INT  2:20-2:22  A3: CompDefn rest  2:25-2:33  A2: NameType list  2:30-2:33 defAt: A6 @ 2:1-2:34