@ekpyron thinks possibly yes, but my desire has been to separate types wholly from pointers, since semantically these might be viewed as purely separate concerns.
My original thinking might not be so sound, so I'm opening this issue to make sure this isn't forgotten.
