Denotes and ValueOf should be one and the same?

or at least shouldn't we have an implicit conversion upcasting ValueOf to Denotes?