Construct and answer a tuple from the lexically specified expressions. The hard work here is done automatically by the Avail compiler.

Strengthen the type of <«_‡,»> to the most exact possible. The hard work here is done automatically by the Avail compiler, which examines the lexical arguments and produces instance types for literals and applies semantic restrictions to any method sends.

If a lexical tuple is built only from expressions with statically well-known runtime values, then answer the instance type of the tuple that contains those statically known elements. This gives lexical tuples of literals and statically well-known elements the same force as lexical literals, e.g., numbers and strings.