- Make verify_formatting.py skip Types.hs and Common.hs
- Fix formatting issues in rest of the files