Add concepts to eqsat patterns.

[xlauko]

Allow to constrain variables by concepts, e.g. constrain arithmetic operations:

(let arithmetic op (op ?a ?b))

that will match only operations with arithmetic trait.