feat(frontents/lean/parser_cmds):
Print the type of variables introduced by definition, hypothesis (variable) or proof.