[TOPIC-REQUEST] type traits

[vulder]

The module "Type system" should contain a topic about type traits.

[diehlpk]

If it will be approved, the NG group will work on it.