make abstract-type-descriptor properly spliceable