On Thu, 25 Feb 2021 11:50:19 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote: > > I think it is likely that many/most of the places that will need to pick up > higher order inst info from types is in inst_match.m, not in mode*.m. > Do you think you will need to modify that file? I don't think so. Peter