A Language for Nested Data Parallel Design-space Exploration on GPUs