We note that previous systems of heterogeneous unification by Gundry, McBride and Juan use a certain flavor of observational equality to model the definitional equality of the object theory. This is a “dependent” equality where term equality lies over type equality. We propose to build elaboration and unification on the homogeneous observational equality of Pujet and Tabareau instead, noting potential advantages. A prototype implementation of such a system is under progress.