Tensor-theorem-prover

Feature
* Adding ResolutionProver.extend_knowledge method to add knowledge to the prover later ([`d21dd91`](https://github.com/chanind/tensor-theorem-prover/commit/d21dd911f994abb69fe7d19a2c8e143dcc3192fe))

Feature
* Adding similarity cache to speed up similarity calculations ([`5bd8c13`](https://github.com/chanind/tensor-theorem-prover/commit/5bd8c1386410d2b4bf04b59c999c4a83e3abd69b))

Feature
* Adding a 'max_similarity' helper to combine different similarity funcs ([`b92c35a`](https://github.com/chanind/tensor-theorem-prover/commit/b92c35ae06d707d462010f38e1d59b22f051d145))

Fix
* Fixing bug when predicates with the same symbol occur in resolve with embeddings ([`17c138c`](https://github.com/chanind/tensor-theorem-prover/commit/17c138c64c8beb449b9e42847db343cb4b7d12e1))

Fix
* Adding py.typed file ([`c01f016`](https://github.com/chanind/tensor-theorem-prover/commit/c01f01604cc48c1f2f1fede77e1f6d8ad08bb189))

Fix
* Adding typing_extensions dep explicitly ([`58e8340`](https://github.com/chanind/tensor-theorem-prover/commit/58e83401e64887635727c7db1ff508c47e4f826d))