fix MaybeADT to adapt to changing role name -> Definition
fix PairADT to adapt to changing role name -> Definition
fix TermADT to adapt to changing role name -> Definition