Rename integ.hs to Integ.hs