fixed two bugs in type reifier: empty sets and lists should not be
relations