Text this: Univalence without function extensionality