feat(frontends/lean): use nice names for meta-variables when executing `check c` and `c` is a constant