feat(library/hott) almost completed portin UnivalenceImpliesFunext.v
fix(library/hott) changed pointed.lean to use trunc.lean correctly