pub fn get_const_levels(e: &Expr) -> Option<&[Level]>
Extract the universe levels from a Const expression.