ByteWeight review

don't use leading `I` if you're defining a one-line variant:

```
type granularity =  Byte | Dism
```

and by the way, we've already discussed that name `granularity` is unsuitable. Consider using `domain`.

And remember, there're only two true problems in computer science: naming things and cache invalidation...