Add some tactics from HoTT-categories