assertCompareInferred
ExprUtil: Add alphaEq
InferTests: Show errors in a much more comprehensible way
InferTests: Add (unused) combinators for writing tests more sanely
Tests: Add inferRecordValTest