A10: Nodes<Defn>   LOCATION   A1: TypDefn t   LOCATION   A0: NameType id   LOCATION   A6: TypDefn t2   LOCATION   A5: StrType   LOCATION   A4: Nodes<CompDefn>   LOCATION   A3: CompDefn id   LOCATION   A2: AtomType INT   LOCATION   A9: TypDefn t3   LOCATION   A8: UniType   LOCATION   A7: Nodes<CompDefn>   LOCATION