Function instantiate_level_params 

pub fn instantiate_level_params(
    expr: &Expr,
    param_names: &[Name],
    levels: &[Level],
) -> Expr

Instantiate universe level parameters in an expression.

Replaces Level::Param(name) with the corresponding level from the substitution, based on the parameter name list.