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