Stream data prefetcher for the GPU memory interface

since it formally defines simple and complex vague spatial data types, has closure properties of vague spatial operations resulting in valid results, and introduces an expressive set