MkCore

Constructing normal syntax

Constructing boxed literals

Constructing general big tuples

Constructing small tuples

Constructing big tuples

Deconstructing small tuples

Deconstructing big tuples

Constructing list expressions