rename the top-level cuda extras header file
add asserts for index conversions (debug mode)
add type annotation
add --restrict to nvcc flags