test Utils: Get rid of leaf
Test: Remove leafSimple
leafTag -> tag, inferredHole -> holeWithInferredType
move innerMostPi to Test.Util