Deal better with vectors of ADTs inside of ADTs. Ground unconstrained type variables as int. Towards a more complete CSS matching algorithm.
Display failure logs by default when running make check.

This will help us debug failures in Travis CI.