Fixed postTraversal in TreeOps.
Added test for postTraversal.
Make sure we target Array.update only with ExUpdate
Print TypedFunDef, add 2 case studies
Fix case-study
Fix header (2013 -> 2014). Add script to do so.
Add Travis badge
Fix Equality of Implies. Disambiguate other's hashCode a bit.
EnumerationSolver/Portfolio extends Incremental+Assumption

This allows us to use them in synthesis. Expose --solvers=..
option for synthesis.
Allow testing specifying options, add test for enum solver
Improve types, support ???[T] as all-seeing choose

- Holes become chooses

- Unhandled types are removed, Untyped is now checked for and
  a warning is issued if an untyped expression is found.
Add rule for splitting ifs in predicates
Disambiguate for direct use within Play
Fix positions of holes and resulting chooses
Indirection for inlining to prevent duplicate clauses being issued to Z3
OneStep evaluator
Some fixes
Implements set operations in OneStepEval
Correct Typo
Add set operations support to the OneStepEvaluator