Add 2 tests: texture vs constant vs global memory, and pointer type checking