Refactor stuff out of Transaction.fork
Remove Hole.makeResult: inferredExpr