bunch of cleanup and reference semantics for EVs

o added T::Pointer to T::Reference and T::Value for EVs
o added assignment and constructor semantics that I think are right for
  EV::Reference's
o some other cleanup