having thought about this some more, I guess that no, the more fundamental notion should be sets.
may I recommend this links to read up on the precise formal definition of ‘type’
https://plato.stanford.edu/entries/type-theory/
Simple Type Theory https://plato.stanford.edu/entries/type-theory-church/