some clean up of Dynamics for HoTT.