Do a proper job of generating the pointer type for addressof()