Fix UnifyingResolution

Replaced type of auxLR and auxRR by Sequent
Clean UnifyingResolution