Basic terminology for types and type forms

[1] Typo fixed.

Also, imo this separation you added now is a good argument for this proposal of mine.

  1. In your second paragraph you have both “type expression” and “type form”. Based on the later comment about avoiding type form the second is a typo? ↩︎