Updated HoTT bench
Unused files removed