Add PatternSynonyms extension and remove obsolete PatternGuards.
United styles + `inlineToLaTeX`.