feat(frontends/lean): add 'record' as an alias for 'structure' command
fix(frontends/lean/structure_cmd): error parsing structure without parameters followed by ': Type'
fix(frontends/lean/structure_cmd): accept ': Type' when universe levels are not specified
fix(frontends/lean/structure_cmd): bad test output
fix(frontends/lean/structure_cmd): bad test output