Similar to `struct-predicate-procedure?`. Allows Typed Racket (and the contract system generally) to avoid chaperone wrapping for cpointer predicates.
The layer is now redundant, since everything left in "pkgs" is in the "racket-pkgs" category.