refactor(*): use name_map
feat(frontends/lean): allow user to associate priorities to class-instances, closes #180
chore(frontends/lean/decl_cmds): disable incorrect warning message produced by gcc