Open
Description
Several type definitions could be aligned with other languages:
- "Structure" should be an alias for "Record"
- "one of" could be defined as a Union type
- "any of" could be defined as an Enumeration
Such features should not replace existing syntax, these should be alternatives