Small bug fix
Multiple changes:

  - Improve pretty printing
  - Allow multiple tyvars for newtype declarations
  - ModIfaceParser looking good (but it's unfinished yet)