Further work on WgStraightList.