$LeafIndex: $.Shape<bigint, bigint> = $.u64

A type to describe leaf position in the MMR.

Note this is different from [NodeIndex], which can be applied to both leafs and inner nodes. Leafs will always have consecutive LeafIndex, but might be actually at different positions in the MMR NodeIndex.