Rename domain_id -> subdomain_id everywhere.
Rename domain_type -> integral_type everywhere.