Added explanation of Imperative.hs