Add type coverage

[lukaszuznanski]

Resolves: #830

[lukaszuznanski]

Damn, I clicked on update branch and merged main into branch... sorry, let's check if there is way to disable this button, or change it's behavior. I will fix this error in functional tests.

[oliverklee]

I've fixed this now:

git switch Feature/Add-type-coverage
git reset --hard a14f676
git rebase
git push -f

[lukaszuznanski]

I changed it to 100, 100 and 95 for properties. We can update it to 100, but first we need to add property type. This should work for now. Let's do it in another PR.

[oliverklee]

Looks good. It should get an entry in the changelog, though.