Added labels == stack of contexts. Pretty ugly at the moment.
Better contextual error messages
Fixed a bug with unifying contexts, better printing
New label combinators, more annotations in Test.hs