feat(frontends/lean/builtin_cmds): add 'print prefix' command
feat(frontends/lean/structure_cmd): generate projection over constructor theorems for structures