Text this: On Small Types in Univalent Foundations