chore(kernel/level): remove unnecessary code

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(kernel): add function param_names_to_levels

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(kernel/declaration): rename declaration::get_params to declaration::get_univ_params

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(library): remove unnecessary code

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
chore(library): remove unnecessary code