Rework HoTT into a proper library, which fixes parallel build breakage