fix: Don't include syntax information in elaboration of math elements#707

ejgallego merged 2 commits intoleanprover:mainleanprover/verso:mainfrom

ejgallego:remove_info_verso_mathejgallego/verso:remove_info_verso_mathCopy head branch name to clipboard