For now I know that such types exist, I know what fields they have, but I couldn't find a definitions for them. I.e. I found:
typedef __device_builtin__ struct uint2 uint2;
But this leaves all the questions I have intact -- what about their constructors? What about operators? And so on.
So, are the definitions (real ones) for those types published somewhere? I wouldn't like to reinvent the wheel especially not optimized (starting how to init such structure).