Add category table in std.traits

This change is mostly for discussion rather than document improvement.

Recently, some peoples discussed about several `std.traits` templates that take symbols (in #1164, #1192). I think that categorizing templates would attract more clean conclusion.

How about this?