[fix outdated comment on type Pred
Helmut Grohne <grohne@cs.uni-bonn.de>**20150312121153
 Ignore-this: ec9cec8b71d0a6489b6f7466d0258ad1
] hunk ./src/Syntax/Type.hs 267
--- | True if the type (used as a type repdicate) qualifies any of the given
---   variable names
+-- | True if the predicate qualifies any of the given variable names