A19: Nodes<Defn>  1:1-1:52  A18: VarDefn rav  1:1-1:52  A17: UniType  1:11-1:52  A16: Nodes<CompDefn>  1:13-1:51  A4: CompDefn a  1:13-1:23  A3: UniType  1:16-1:23  A2: Nodes<CompDefn>  1:17-1:22  A1: CompDefn a  1:17-1:22  A0: AtomType INT  1:20-1:22  A15: CompDefn b  1:26-1:51  A14: FunType  1:29-1:51  A13: Nodes<Type>  1:30-1:46  A11: UniType  1:31-1:45  A10: Nodes<CompDefn>  1:32-1:44  A9: CompDefn a  1:32-1:44  A8: StrType  1:35-1:44  A7: Nodes<CompDefn>  1:37-1:43  A6: CompDefn g  1:37-1:43  A5: AtomType INT  1:41-1:43  A12: AtomType BOOL  1:47-1:50