+1
+2 fix TypeInfo.equals behavior
+3 for std.traits unittest
+x
+y