feat(frontends/lean): add 'print definition' command