Indicate the translation to push constants more explicitely.

[EtienneParmentier]

Based on https://shader-slang.org/slang/user-guide/spirv-target-specific , Push constant paragraph.

I did not understood the link between push constants, shader data buffer and buffer device adress until finding this doc page.
Tell me if I'm wrong but we have:

• Push constant range added as argument by slang because of the argument of 'main' contains a pointer.
• Push contant defined again in the pipeline layout.
• Push constant binding while recording command buffer.