refactor: migrate aggregator to the Lean module system#1

kim-em merged 2 commits into

mainleanprover/hex:mainfrom

module-migrationleanprover/hex:module-migrationCopy head branch name to clipboard