[Ada] CUDA: discover runtime types instead of hard-coding