chore(hott) add function.hlean to init
chore(hott) add function.hlean to init