public vValue IndexVal(vDescriptor v)	{ return Index(v).Deref(); }
public vValue IndexVal(vDescriptor v) { vDescriptor x = this.Index(v); return (x != null) ? x.Deref() : null; }
public vValue IndexVal(vDescriptor v)	{ return Index(v).Deref(); }	// .x[i]