Barrett-Weld artificial domains
d<num>s<num or letter>[s for "star"]_{ops,facts}
