You can do exactly that with `void*` in Fil-C. I just don’t let integer types carry capabilities. If I did, things would get weird (like if you said `x + y` an

You can do exactly that with `void*` in Fil-C. I just don’t let integer types carry capabilities. If I did, things would get weird (like if you said `x + y` and both happened to carry capabilities then what would you get?)