Arrays of pointers

I am not sure what is your point. There has to be a notion of type to which the pointer references. So you would have to define quite a bunch of types. All intrinsic?