Rethink STS. #39
Description
The STS type system could be rethought. There are a multitude of issues
- CD symbols as basic STS Types (see symbols for basic sts types? OM3#27), this also includes the notion of a new role for types (see New Roles for Types? OM3#28).
- there is a fundamental redesign proposal by @lars-hellstrom (see Revising the Simple Type System OM3#152).
- there is a clarity issue about binders. (see STS documentation is unclear about binders OM3#151)
- in any case, the STS document, is under standard, should it really have this elevated status?