R1 - modelint/types GitHub Wiki

R1 / Generalization

Type is a Base Type or User Type

---

A foundation of common implementation types is established as a set of Base Types such as String, Integer, and so forth.

A User Type is then constructed by constraining and modifying or extending the Operators defined on some Base Type.

Other User Types can be built up hierarchically on other User Types.