holeInferExprType
temporarily (?) got rid of fillPartialHolesInExpression.
towards putting HoleEdit in charge of apply forms and such
HoleEdit is in charge of apply forms