Cleaned up typos and spacing
Made inferred variable types in Main explicit