Ref bind

This adds Refs to the Bindable protocol with an implementation modeled after Atoms.  Thus, Refs will be similar to Atoms when binding.  There is not special treatment of their transactional semantics when applied to an ensemble of Refs.

The test is very basic and just tests whether value propagation works from Ref to Atom and from Atom to Ref.