Compiler.Parser

A bytes expression whose members are all natural literals below 256 is a BytesLiteral. Any other member turns the whole expression into a bytes-cons application chain over the empty literal, with literal members lowered to byte literals -- the same meaning the trusted elaborator gives a bytes expression with computed members.

1947def bytesElementTerm =
1948  (lambda unrestricted element : (family Term) .
1949    (eliminate
1950      SourceByteResult
1951      (lambda unrestricted result : (family SourceByteResult) . (family Term))
1952      (sourceByteFromTerm element)
1953      (branch
1954        SourceByteDecoded
1955        decodedSourceByte
1956        .
1957        (constructor Term ByteLiteral decodedSourceByte))
1958      (branch SourceByteInvalid . element)))