Such a comprehensive type system makes it possible to define various kinds of functions and to perform type-compatibility checking.
most previous semantic languages have at most 100+ types at the grammar level.