On the Expressiveness of Equational Type Logic