Exact pattern-matching up to standard equivalence
Also, slightly better debugging output
Prove sigma_eta and sigma_eta' (renamed to id_sigma)

Renamed sigma_eta' because it's classifying the strict identity type
of sigmas.

Unfortunately, sigma_eta is rather slow; on my machine:
$ time ./brazil.native examples/sigma.br
...
real    0m14.380s
user    0m14.281s
sys     0m0.047s
Add sigma.br to the brazil smoketest
Equivalence alg uses rewrites on recursing
Also more debugging print output
Also a #verbose directive
Record types (forgot projections)
Working on records, added projections
Record types almost implemented, at least compile
Merge pull request #24 from JasonGross/travis

Travis
Merge pull request #25 from JasonGross/more-sigma

Prove sigma_eta and sigma_eta' (renamed to id_sigma)