anchor.diff:    {'ES:LAMBDA', Formals, parse(Body, es_env:overlay(Env, ScopeEnv))}.
   
   quote_if_glovar(Sexpr, Env) ->
  -  AST = parse(Sexpr, Env),
  -  case AST of
  -    {'ES:GLOVAR', Atom} -> {'ES:QUOTE', Atom};
  -    _ -> AST
  +  if is_atom(Sexpr) ->
  +       parse_atom(Sexpr, Env, _QuoteIfGlovar = true);
  +     true ->
  +       parse(Sexpr, Env)
     end.
   
   parse_formals(Formals, ScopeEnv) ->
  
positive.code:   end.
  
  parse_atom(Atom, Env) ->
    case Atom of
      true ->
        {'ES:QUOTE', Atom};
  
negative.code:         {value, []} ->
            {'ES:LOCVAR', Atom};
          {value, A} when is_integer(A) ->
            if QuoteIfGlovar -> % this is the M or F in M:F
                {'ES:QUOTE', Atom};
               true ->
                {'ES:GLOVAR', Atom}
            end;
          none when QuoteIfGlovar -> % this is the M or F in M:F
            {'ES:QUOTE', Atom};
          none ->
            {'ES:GLOVAR', Atom}
        end
  