Helios, a startup aiming to build an AI-powered operating system for policy professionals, has raised $4 million in seed funding.