Function to_offset 

pub fn to_offset(l: &Level) -> (&Level, u32)

Decompose a level into (base, offset) where level = succ^offset(base).

Strips all Succ wrappers. E.g., succ(succ(param u)) -> (param u, 2).