Tracking aspects of this that aren't done yet: - [x] target is a union - [ ] partly-unbound inplace dunders