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

refactoring
fix warnings....
fix more warnings....
fix more warnings....
fix last warnings....
Update .travis.yml
Merge pull request #272 from ucsd-progsys/refactoring

Refactoring
ugh
misc edits
misc edits