feat(frontends/lean/parser):
Improved printing for REPL loop: print the type in addition to the id of an assumed or defined constant.