[fixes #2130] Moving Properties.HeytingAlgebra from Relation.Binary to Relation.Binary.Lattice#2131

MatthewDaggitt merged 3 commits intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:Heytingjamesmckinna/agda-stdlib:HeytingCopy head branch name to clipboard