Heyting algebras with indiscernibility relations