Types and sorts by D. Heylen