significant progress on constant unification