Semantic matching basics #4788

[markdevocht]

Description

• This pull request addresses the issue described here: #<?>

In this pull request, I have …

---

For features/enhancements:

• [ ] I have added/updated the relevant references in the documentation files.

For API changes:

• [ ] I have made the necessary changes in the types index file.