fix(frontends/lean/pp): pp was not taking into account new namespace name resolution rules, fixes #216
fix(frontends/lean/pp): pp was not taking into account new namespace name resolution rules, fixes #216