replaced addition with incrementation
Removed Prelude (implictly imported)
Seperated standard warnings from sanity-check warnings