minor
minor: comments
Fix meet.
Improve union simplification a bit.
Add pretty printing for maps
It works, finally.
make it easy to time, and add some numbers.
tree inference benchmark
It's in the monad.
small fixes
Extreme timing discrepancy
Try inlining.  No Par yet.
minor: comments

Conflicts:
	Infer.hs
Verifying and lattices as a warm-up.  Coq version.
Isabelle version contributed by Jeremy
Add unsatisfying Idris version.  No automation.
Add verbose but automatically generated agda versio
Agda can tolerate the recursive join functio
Add the real and lattice
Get the read for the true asyncand working