Merged with, and plural for, AbstractDataType.