Sets and higher groups in #HoTT