Some Old Typology Notes (and links to my postings on types)