> I suspect what I want is a slightly more refined interface for the > user. I don't see any problem having a Pointer type in the compiler, > but I would expect more type-checking in the exposed user > interfaces. I agree completely. I was worried that you had a reason for compiler mods. Yes, someone should build a nicer front end to the pointer stuff using phantom types or whatever to get better type safety.