more consistent names for hierarchy of pre-X-categories