Add congD (apd in HoTT)