fix tests for Boolean to adapt to changing role name -> Definition
fix ListADT to adapt to changing role name -> Definition