Removed warnings
Fixed syntax in failing test
Fixed evaluation of constraints
Parallelised the :for query.

Well I would have done but unfortunately GHC bug #3373 means that it is broken
as I can't fork GHC's API (which we do for the constraints) and run parallel
threads.