moving constraint generation code arounf
add TyConInfo earlier
no unification
no predsUnify
fix mane test
delete globals and specQuals from Constraint environment
final cleaning
fix default Ps
Merge pull request #271 from ucsd-progsys/refactoring

refactoring