chore: make NonScalar opaque

[digama0]

This makes the type a bit less error-prone, by not exposing the constructor or eliminator for the type (which is almost certainly an error given that elements of this type are generally constructed by unsafeCast and so the eliminator is essentially a lie).

It also defines NonScalar as PNonScalar.{0}, similar to other universe polymorphic types.