Add information on type-safety

[MartinBernstorff]

I personally use it as a filter (love me some type-safety). I can volunteer gathering the information as well 👍

For categories, I'd propose something like (full/partial/no), and only evaluate a sample of public methods.

What do you think? :-)