fix(library/data/quotient/default.lean): remove classical
feat(frontends/lean): use nice names for meta-variables when executing `check c` and `c` is a constant