Have array and reference types and primos been updated to be BoxedRep-polymorphic, or is it still just expensive scaffolding?

Not at the moment. A few primops have been updated for GHC 9.4 (e.g. pointer equality, keepAlive) , but nothing pertaining to arrays yet (MR !5218).

Cheers,

Sam