anchor.diff:          {value, []} ->
             {'ES:LOCVAR', Atom};
           {value, A} when is_integer(A) ->
  -          {'ES:GLOVAR', Atom};
  +          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
  
positive.code:   end.
  
  parse_atom(Atom, Env) ->
    case Atom of
      true ->
        {'ES:QUOTE', Atom};
  
negative.code:   {'ES:LAMBDA', Formals, parse(Body, es_env:overlay(Env, ScopeEnv))}.
  
  quote_if_glovar(Sexpr, Env) ->
    if is_atom(Sexpr) ->
         parse_atom(Sexpr, Env, _QuoteIfGlovar = true);
       true ->
         parse(Sexpr, Env)
    end.
  
  parse_formals(Formals, ScopeEnv) ->
  