This could break downstream code that expects a domain type to explicitly be a Simple Kind, but I doubt that exists. cc #153