extract Literals code
extract Literals code
extract WiredIns
Refine CoreToLogic for Prop measures
Refine CoreToLogic for Prop measures
simplify prop measures
prop measure works\!
strength types for Haskell Prop measures
inline booleas in measure definitions
more Pred cases
Merge pull request #270 from ucsd-progsys/prop_measures

Prop measures
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