Replace `\hole()` with `#hole`

[Jan Tusil]

This:

syntax Pattern ::= Int
...
| "\\hole" "(" ")" [klabel(Phole)]

is a conceptual duplication of

syntax Variable ::= "#hole"

(from https://github.com/kframework/matching-logic-prover/blob/master/prover/lang/kore-lang.md)

[Nishant Rodrigues]

Any reason that this is not a variable?
nevermind. I misunderstood

[Xiaohong Chen]

Adding this: rule #hole => \\hole()?

[Nishant Rodrigues]

\hole() looks more like a symbol than a variable. I think replacing all instances of \hole() with #hole makes sense? We may need to change #hole to a set variable depending on how we use it of course

[Jan Tusil]

I have been thinking of completely removing \hole() and use only #hole.