These and their interaction with subsorting are already treated in [BT97]. We here just add that, maybe contrary to the expectations and desires, but in accordance with [BT97], nat<int and NeList[elem]<List[elem] do not lead to List[nat]<List[int] or NeList[nat]<List[nat].