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
Add (failing) composite tag tests
Infer.Subst -> Infer.AppliedPiResult. CompositeTag prevention.
More correct TypedValue Show instance
ExprUtil: Export pureTagType
testInferFails -> inferFailsAssertion
Oops: tagCompositeTests was broken
Add failing missing field tests
Implement GetField relation
Enable get missing fields tests, enable getField of non-record test
Oops: Wrong test description