UNTESTED: additional fixes to HoTT library, updated comments, added missing telemetry packet
fixed compilation errors, still untested