chore(hott) reflect @avigad's name changes in the std library