feat(frontends/lean/parser):

Improved printing for REPL loop: print the type in addition to the id of an assumed or defined constant.