Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T}

Restrict round signature to avoid ambiguities, and add adhoc comparision for ZZRingElem and Rational{T} #1802