Convert Main to use do notation

[Ericson2314]

I don't think the expression style improves what is sprawling imperative code either way. More likely it predates do notation becoming popular!