Fixed a bug in element_div() introduced by splitting operator tags.

op_div was supplemented by op_element_div, for which the predicate
metafunction was not yet overloaded.