Function check_level_params_consistent 

pub fn check_level_params_consistent(
    e: &Expr,
    declared: &[Name],
) -> Result<(), Name>

Check that all level params referenced in e are in the declared list.