Fixed bug in the narrowing processor, it was generating duplicated pairs
made the ExpandPair instance for Q problems more robust
Really fix the narrowing processor
Really fix the Rewriting -> QRewriting processor