TypeListIndex: make not-found actually work