RichValueRep()                                    {}

	RichValue(Rep *rep) : Value(rep) {}

template <class T>
class RichPickValueRep : public RichValueRep<T> {
public:
	RichPickValueRep(pick_ T& _v)      { this->v = _v; }
	RichPickValueRep(const T& _v, int) { this->v <<= _v; }
	RichPickValueRep()                 {}
};

template <class T>
class RichPickValue : public RichValue<T> {
protected:
	typedef RichPickValueRep<T> PickRep;

public:
	RichPickValue(pick_ T& x) : RichValue<T>(new PickRep(x)) {}
	RichPickValue(const T& x, int) : RichValue<T>(new PickRep(x, 0)) {}
};

template <class T>
inline Value RichPickToValue(pick_ T& data)       { return RichPickValue<T>(data); }

template <class T>
inline Value RichDeepToValue(const T& data)       { return RichPickValue<T>(data, 0); }