pub fn levels_def_eq(l1: &Level, l2: &Level) -> bool
Check if two level expressions are definitionally equivalent.