Replace DontExecLink by something better?

[linas]

Perhaps it would be best to retire DontExecLink and replace all uses with LocalQuoteLink ?

See #704

[ngeiswei]

I think it make sense. Will take care of that once I'm done supporting LocalQuoteLink.

[ngeiswei]

Actually I don't think DontExecLink can be replaced by a
LocalQuoteLink. For instance I don't see how to prevent the result
from being executed, in the following example

(BindLink
   (TypedVariableLink
      (VariableNode "$A")
      (TypeNode "BindLink")
   )
   (EvaluationLink
      (PredicateNode "URE:BC:and-BIT")
      (VariableNode "$A")
   )
   (DontExec (Variable "$A")))

If (DontExecLink (Variable "$A")) is replaced by (LocalQuoteLink (Variable "$A")) then $A never gets replaced by its matching
BindLink.

[ngeiswei]

It seems DontExecLink could be replaced by LocalQuoteLink on links, but not on variable nodes. So it still necessary.

[linas]

OK, that actually sounds right. I think that perhaps additional insight and ideas can be gotten from https://www.gnu.org/software/guile/manual/html_node/Syntax-Case.html

I'd like to keep this open as a possible to-do enhancement, and so will change the name of the issue to reflect this.