Yes the paper would allow using builtin types

```
int* p{};

// p.free();

// ERROR: int* has no members

p.::free(); // fine

```

This would bring builtin types and class types closer together which I
think is a good thing