Remove TODO, because this feature is now handled by the raw mapping (when we use
the getVisibleAllocas() method).
Split the visible seec::cm::Value interface.

Value now has three abstract children: ValueOfArray, ValueOfRecord, and
ValueOfPointer. The methods for accessing children and dereferencing are now
only on the appropriate subclasses.