Added documentation and type specifications
Alchemist config and renamed TopSupervisor to MainSupervisor