fix(frontends/lean/structure_cmd): universe level validation
fix(emacs/lean-mode.el): remove quotation marks in lean-execute

Close #294