test(tests/lean/run): add structure command test
feat(frontends/lean): add 'print fields' command
feat(frontends/lean): add 'print fields' command