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