Good Q. Basically, the readers today think that the "type" resolution is handled for them. I am just keeping it that way until we think about the problem differently.