Static type checking of device types

[ProGTX]

This would require carrying type information in the data reference class, most likely a template parameter.

e.g. prevent int3 * int8 from being valid.

At the moment, this would only cause an error on kernel compilation (during SYCL runtime), but it would be preferable to cause an error at C++ compile time.