`Relation.Binary.Properties.HeytingAlgebra` in the wrong place

[MatthewDaggitt]

Somehow it never got moved over to Relation.Binary.Lattice.Properties.HeytingAlgebra when the rest of the lattice stuff got moved.

The old module should be deprecated and its content should be moved to the new location above.