Body type may be implicit to a library device, look to the device /
modeling manual for anything about that. There should be "stuff"
that describes a specific device's construction fully, although it may
be scattered across documents and suffer in translation.
Point is, maybe you specify the bulk type by specifying the transistor.
After all, swapping body doping has a wee effect on just about
everything, which one model would have to be extra elaborate to
cover (and why should it?).