Function instantiate_level 

pub fn instantiate_level(
    level: &Level,
    param_names: &[Name],
    levels: &[Level],
) -> Level

Instantiate level parameters using a substitution.

Replaces Param(name) with the corresponding level if name is found in param_names.