anchor.diff:  %%      Valid values for `Type' are any of lattices supporting the
   %%      `riak_dt' behavior.  Type is declared with the provided `Id'.
   %%
  --spec declare(id(), type()) -> {ok, id()} | error().
  +-spec declare(id(), type()) -> {ok, id()}.
   declare(Id, Type) ->
  -    gen_server:call(?MODULE, {declare, Id, Type}, infinity).
  +    {ok, Id} = gen_server:call(?MODULE, {declare, Id, Type}, infinity),
  +    % broadcast({Id, Type, undefined}),
  +    {ok, Id}.
   
   %% @doc Update a dataflow variable.
   %%
  
positive.code: %% State record.
  -record(state, {store :: store()}).
  
  %% Definitions for the bind/read fun abstraction.
  -define(BIND, fun(_AccId, _AccValue, _Store) ->
                  ?CORE:bind(_AccId, _AccValue, _Store)
  
negative.code: %%      {@link declare/0}) dataflow variable.  The `Value' provided is
  %%      the value to bind.
  %%
  -spec bind(id(), value()) -> {ok, var()}.
  bind(Id, Value) ->
      {ok, Result} = gen_server:call(?MODULE, {bind, Id, Value}, infinity),
      broadcast(Result),
      {ok, Result}.
  
  %% @doc Bind a dataflow variable to another dataflow variable.
  %%
  