Error message wibbles,

following
  a) suppressing kind foralls and arguments
  b) better fundep error messages