An extension of HM(X) with bounded existential and universal data-types