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