chore(hott) add function.hlean to init
chore(hott) fix the types and algebra
chore(hott) reflect @avigad's name changes in the std library
chore(hott) minor corrections
fix(tests/lean): adjust tests to recent changes in the lean libraries