Binary hyperidentities of lattices