Constructing normal syntax
Constructing boxed literals
Floats
Constructing equality evidence boxes
Constructing general big tuples
Constructing small tuples
Constructing big tuples
Deconstructing small tuples
Deconstructing big tuples
Constructing list expressions
Error Ids