Ltac2: Reuse result of general pattern interning for simple cases
Ltac2: Reuse result of general pattern interning for simple cases

The redundant clause checks are preserved as they are not yet done in
the general case.

coq/coq,ejgallego/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,coq/coq,ejgallego/coq,Zimmi48/coq,SkySkimmer/coq,ejgallego/coq,Zimmi48/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq