chore(library/hott) cleanup
fix(library/hott) make universe index in ua.lean variable