We need to deeply refactor Lean4-Mode. Some files can be dissolved/merged and others deleted. We might rework the abbreviations workflow. We add a common prefix to all files and symbols. We will introduce breaking changes.