After a further discussion, there is right now no good semantic name.