refactor(library/standard): integrate hott with standard library