Allow typed holes to be levity-polymorphic