Proc: Var needs normalization

# current behaviour:
* introduce var for proc when adding proc knowledge
ex: `<(a --> [b], ^X(a)) =/> Z>`
\|\-
`<(#55 --> [b], ^X(#55)) =/> Z>`

# expected behaviour:
ex: `<(a --> [b], ^X(a)) =/> Z>`
\|\-
`<(#55 --> [b], ^X(#55)) =/> Z>`
\+ normalize sentence with var and try to revise other existing knowledge with it, add to knowledge if no knowledge was found!