require containers >= 0.5 for Data.Map.traverseWithKey
Added missing Ubuntu dependencies
Merge pull request #14 from aleksj/master

Added missing Ubuntu dependencies
Compatability with containers-0.4
work with lens-4.0 and new ghc versions
GetField tags need not redundantly say they are tags
ExampleDB: case* -> case
ExampleDB: Less lying about polymorphism of functions
Don't show ugly names when name is not given yet
ExampleDB: cons -> non-empty
Squash stored in history/new_infer range: 7a0f2b..eb937cf
Add failing test and type annotations
Infer: Extract applyHoleConstraints
mergeBodies -> mergeScopeBodies: Apply hole constraints on nonHoleBody
VarEscapesScope: Has Guid
simpler failing test
Simple inferFromOneArgToOther test
Use destScope, not srcScope for subst copy

The type in the dest(apply) is one-way copied from the type of the
func, along with all the scope inducers in it. Since the copy is
one-way, there's no way a dest GetParameter could ever escape the
scope of the source, therefore the dest scope is legitimate to use in
dest context.

This is necessary because the subst-arg in dest context should be
allowed to use the dest scope.
AppliedPiResults are relations
Move annotateExpr into expectLeft