Currently we represent literals like 1 and 1_2 as (lit 1 Nat) and (lit 1 (idx 2)) to distinguish between them.
This could have simply been achieved via representations (lit 1) and (lit 1_2) which is more compact and consistent than suddenly encoding separate type annotations in these literal representations.
Currently we represent literals like 1 and 1_2 as (lit 1 Nat) and (lit 1 (idx 2)) to distinguish between them.
This could have simply been achieved via representations (lit 1) and (lit 1_2) which is more compact and consistent than suddenly encoding separate type annotations in these literal representations.