A4: Nodes<Defn>  2:1-3:9  A1: TypDefn a  2:1-2:9  A0: NameType b  2:9-2:9 defAt: A3 @ 3:1-3:9  A3: TypDefn b  3:1-3:9  A2: NameType a  3:9-3:9 defAt: A1 @ 2:1-2:9