VARIETIES OF UNIVERSAL ALGEBRAS WITH IDEALS