leafTag -> tag, inferredHole -> holeWithInferredType
move innerMostPi to Test.Util