Added type declarations on all mains