Different types of types

I was listening to a lecture on typology that included the following list:

  1. Moral examples (eg Abraham is an example of faith)
  2. Types of one complex entity established as a type through a whole bunch of propositional statements (eg David is a type of the messiah)
  3. Types of successive structures whose recurrence establishes them as a type (eg exodus-new exodus)
  4. Types whose significance is drawn from their very nature (eg priesthood anticipates the great high priest)
  5. Types whose significance is drawn from their relationships to other types (eg 'rest' becomes typological when connected to 'sabbath')
Hmm. I wonder if this post is so dense as to be totally meaningless.