Partial Univalence in N-Truncated Type Theory