Features overview
Operate on ordered bags of values
Set theoretic approach to types, which are values
Specify sequences of values with regular expressions
Union, intersection and negation as the core
JSON with shorter syntax
Precise arithmetic with intervals of fractions
Immutable code, data and their evaluations
Reflect values, including provenance
Distribute code and values via cryptographic hashes