A mereological nihilist will never have anything but primitive types. Everything more complex than those building block aren't in reality a Type. Reality does

A mereological nihilist will never have anything but primitive types. Everything more complex than those building block aren't in reality a Type. Reality doesn't consiste of: X type made up of these primitives and other defined sub-types and let's hide the primitives as far down as we can. It's instead primitives arranged X wise. Or mapped a little better to programming terminology: A Schema. It's about having the mental model that complex types can be useful as an abstraction but they aren't real and aren't worth fighting for or defending. Types are for devs, devs aren't for types.