I believe the two things you are relating:

The finiteness of the

- number of deformation types
- number of components of the moduli space

of polarized varieties are essentially equivalent problems.

The way moduli spaces are usually constructed is that first one finds a projective space that contains all the objects in the class in question embedded by the given polarization (or possibly a fixed power). This requires a "Matsusaka's Big Theorem"-type result.

Next one considers the locus in the appropriate Hilbert scheme that parametrizes these objects. Then one needs various results, for instance that this locus is locally closed. This is usually difficult, but has little to do with finiteness.

Now, the deformation types correspond to the components of this locus. The reason this is not yet a moduli space is that the same object may be embedded several times depending on the choice of sections of the appropriate line bundle. So, the moduli space (if it exists) is constructed as the quotient of this by the action of the appropriate PGL (and of course one needs a theorem that says that it exists). Since this is an algebraic group, the quotient will be of finite type exactly when this locus in the Hilbert scheme is.

So, as Jason already said in a comment, to prove finiteness of deformation types, the difficult thing to prove is that there is some kind of boundedness. Being locally of finite type often follows directly from the same property of the Hilbert scheme (see comment of user36938), although I have to add that there are some situations when this last statement is not entirely true and in that case boundedness is *really* hard to prove. (Think of how $\mathbb Z$ is inside something of finite type over $\mathbb C$, say $\mathbb C$, but itself is not of finite type (over $\mathbb C$).)

So, I think the answer to your question seems to be "no".

**Added**: I believe that those proofs you mention that these moduli spaces are of finite type actually prove the finiteness of deformation types. The main difference in difficulty is the existence. That's pretty tricky in general for the moduli space.