anchor.diff:  reduce(11, [_,L,_|Vs]) ->                       %s->#( p )
       [list_to_tuple(L)|Vs];
   reduce(12, [_,L,B|Vs]) ->                       %s->#B( p )
  -    case catch lfe_eval:literal([binary|L]) of
  -        Bin when is_bitstring(Bin) -> [Bin|Vs];
  -        _ -> {error,line(B),{illegal,binary}}
  -    end;
  -reduce(13, [_,L,B|Vs]) ->                       %s->#M( p )
  -    case catch maps:from_list(pair_list(L)) of
  -        Map when ?IS_MAP(Map) -> [Map|Vs];
  -        _ -> {error,line(B),{illegal,map}}
  -    end;
  +    [make_bin(line(B), L)|Vs];
  +reduce(13, [_,L,M|Vs]) ->                       %s->#M( p )
  +    [make_map(line(M), L)|Vs];
   reduce(14, [T,H|Vs]) -> [[H|T]|Vs];             %l->s t
   reduce(15, Vs) -> [[]|Vs];                      %l->empty
   reduce(16, [T,H|Vs]) -> [[H|T]|Vs];             %t->s t
  
positive.code: table(?LIST, string) -> [?EXPR,?TAIL,{reduce,14}];
  table(?LIST, binary) -> [?EXPR,?TAIL,{reduce,14}];
  table(?LIST, '#\'') -> [?EXPR,?TAIL,{reduce,14}];
  table(?LIST, '\'') -> [?EXPR,?TAIL,{reduce,14}];
  table(?LIST, '`') -> [?EXPR,?TAIL,{reduce,14}];
  table(?LIST, ',') -> [?EXPR,?TAIL,{reduce,14}];
  
negative.code: table(?FORM, string) -> [?EXPR];
  table(?FORM, binary) -> [?EXPR];
  table(?FORM, '#\'') -> [?EXPR];
  table(?FORM, '#.') -> [?EXPR];
  table(?FORM, '\'') -> [?EXPR];
  table(?FORM, '`') -> [?EXPR];
  table(?FORM, ',') -> [?EXPR];
  