Make projections of BI operational type classes `Typeclasses Opaque`.

This avoids weird unification, where `@bupd ? ? ?` is unified with `@plainly ? ? ?`.

`embed` was already opaque, but `bupd`/`fupd`/`plainly`/`internal_eq` were not.