Update UniMath.hs