Flow for Atom - static type checker